Directory Listing
Title: A Logic of Authentication - Burrows, Abadi, Needham (ResearchIndex ...
Description: Authentication protocols form the basis of security in many distributed systems, making it imperative to ensure the proper functioning of these protocols.
Date Added: 3/13/2004 11:16:01 AM
URL: http://citeseer.nj.nec.com/burrows90logic.html
|
