Login / Signup
Formal specification and analysis of the Group Domain Of Interpretation Protocol using NPATRL and the NRL Protocol Analyzer.
Catherine A. Meadows
Paul F. Syverson
Iliano Cervesato
Published in:
J. Comput. Secur. (2004)
Keyphrases
</>
formal specification
protocol specification
formal analysis
model checker
model checking
communication protocols
formal methods
real world
information systems
high level
multi agent systems
wireless sensor networks
knowledge acquisition
communication protocol
specification languages