An authentication logic with formal semantics supporting synchronization, revocation, and recency

Stuart G. Stubblebine, Rebecca N. Wright

Research output: Contribution to journalArticlepeer-review

16 Scopus citations

Fingerprint Dive into the research topics of 'An authentication logic with formal semantics supporting synchronization, revocation, and recency'. Together they form a unique fingerprint.

Engineering & Materials Science