31 search results - page 7 / 7 » esorics 2008 |
ESORICS
2008
Springer
13 years 6 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 ...