Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Proving Authentication Properties in the Protocol Derivation Assistant
 

Summary: Proving Authentication Properties
in the Protocol Derivation Assistant
Matthias Anlauff,1
Dusko Pavlovic,1
Richard Waldinger,2
and Stephen Westfold1
1
Kestrel Institute, Palo Alto, California, USA,
{ma,dusko,westfold}@kestrel.edu
2
SRI International, Menlo Park, California, USA,
waldinger@ai.sri.com
Abstract. We present a formal framework for incremental reasoning
about authentication protocols, supported by the Protocol Derivation
Assistant (Pda). A salient feature of our derivational approach is that
proofs of properties of complex protocols are factored into simpler proofs
of properties of their components, combined with proofs that the relevant
refinement and composition operations preserve the proven properties or
transform them in the desired way.
In the present paper, we introduce an axiomatic theory of authenti-

  

Source: Anlauff, Matthias - Kestrel Institute

 

Collections: Computer Technologies and Information Sciences