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

Authors :: Stubblebine, Stuart G.
Wright, Rebecca N.
Source :: IEEE Transactions on Software Engineering. March, 2002, Vol. 28 Issue 3, p256, 30 p.
Publication Year :: 2002

Subjects :: Programming tutorial
Encryption
Network architecture
Distributions, Theory of (Functional analysis) -- Research
Computer software industry -- Planning
Data encryption -- Planning
Network architecture -- Safety and security measures

Tools