An Authentication Logic with Formal Semantics Supporting Synchronization, Revocation, and Recency

• 形式语义支持同步、撤回和崭新的鉴定逻辑