Invariant-based reasoning about parameterized security protocols

✍ Scribed by Arjan J. Mooij

• Publisher: Springer
• Year: 2009
• Tongue: English
• Weight: 228 KB
• Volume: 22
• Category: Article
• ISSN: 0934-5043
• DOI: 10.1007/s00165-009-0104-0