IEEE - Institute of Electrical and Electronics Engineers, Inc. - Recent-secure authentication: enforcing revocation in distributed systems

Proceedings 1995 IEEE Symposium on Security and Privacy

Author(s): Stubblebine, S.G.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1995
Conference Location: Oakland, CA, USA, USA
Conference Date: 8 May 1995
Page(s): 224 - 235
ISBN (Paper): 0-8186-7015-0
DOI: 10.1109/SECPRI.1995.398935
Regular:

A general method is described for formally specifying and reasoning about distributed systems with any desired degree of immediacy for revoking authentication. To effect revocation,... View More

Advertisement