Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols

✍ Scribed by Stéphane Lafrance; John Mullins

• Book ID: 108498225
• Publisher: Elsevier Science
• Year: 2002
• Tongue: English
• Weight: 434 KB
• Volume: 61
• Category: Article
• ISSN: 1571-0661
• DOI: 10.1016/s1571-0661(04)00311-1