7 search results - page 2 / 2 » Extending the Dolev-Yao Intruder for Analyzing an Unbounded ... |
FOSAD
2009
Springer
13 years 12 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
ESORICS
2008
Springer
13 years 7 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...