Login / Signup
Abstraction and Refinement in Protocol Derivation.
Anupam Datta
Ante Derek
John C. Mitchell
Dusko Pavlovic
Published in:
CSFW (2004)
Keyphrases
</>
lightweight
formal analysis
communication protocol
high level
authentication protocol
databases
information retrieval
cooperative
tcp ip
data abstraction
decision theoretic planning
step wise
coloured petri nets