Generated Fri Oct 22 07:13:12 PDT 1999 by fc@red.all.net


Stubblebine95
  • [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