直觉主义通过直觉知道道德原则有效性和普遍性的理论 The theory that ethical principles are known to be valid and universal through intuition.
正式确认向有权威的证人正式确认以保证法律上的有效性 A formal declaration made to authoritative witnesses to ensure legal validity.
验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。 A program for protocol verification which mechanically generates all states reachable from a given initial state and checks the validity of user defined conditions in each state.
确认确认他人的存在、有效性、权威或权力 Recognition of another's existence, validity, authority, or right.
