Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
The Protocol Derivation Assistant Matthias Anlauff1
 

Summary: The Protocol Derivation Assistant
Matthias Anlauff1
, Dusko Pavlovic1
, and Stephen Westfold1
Kestrel Institute, Palo Alto, CA, USA,
{ma,dusko,westfold}@kestrel.edu,
WWW home page: http://www.kestrel.edu/software/pda
Overview
The Protocol Derivation Assistant or, for short Pda, provides tool support for
the derivational approach to protocols as described in [12, 6, 4]. We will give a
brief overview of the capabilities of Pda; for further information please see [2].
The design of Pda reflects the basic ideas of the derivational approach to proto-
col design by providing (i) a rich, graphical user interface for entering protocol
derivations, (ii) support for refining models that correspond to these protocols,
and (iii) automated support for incrementally proving security properties of the
protocols and their models. We will briefly sketch these three aspects in the
following.
Protocol Derivations
The research area of security has generated a surprisingly wide range of models
and approaches. Even the basic paradigm of security comes in three different fla-

  

Source: Anlauff, Matthias - Kestrel Institute

 

Collections: Computer Technologies and Information Sciences