Login / Signup

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

Stuart G. StubblebineRebecca N. Wright
Published in: IEEE Trans. Software Eng. (2002)
Keyphrases