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

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