Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  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,
WWW home page: http://www.kestrel.edu/software/pda
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
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