[Stubblebine95] S. Stubblebine, Recent-Secure Authentication: Enforcing Revocation in Distributed Systems, IEEE Symp on Security and Privacy, 8-10 May, 1995. [This paper describes a general method for formally specifying and reasoning about distributed systems with some degree of immediacy for revocation of privileges.]
fc@red.all.net