A symbolic decision procedure for cryptographic protocols with time stamps

✍ Scribed by Liana Bozga; Cristian Ene; Yassine Lakhnech

• Book ID: 113720571
• Publisher: Elsevier Science
• Year: 2005
• Tongue: English
• Weight: 436 KB
• Volume: 65
• Category: Article
• ISSN: 1567-8326
• DOI: 10.1016/j.jlap.2004.09.007