Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA ’06)

✍ Scribed by Pierpaolo Degano; Ralf Küsters; Luca Viganò; Steve Zdancewic

• Book ID: 113641731
• Publisher: Elsevier Science
• Year: 2008
• Tongue: English
• Weight: 49 KB
• Volume: 206
• Category: Article
• ISSN: 0890-5401
• DOI: 10.1016/j.ic.2007.11.003