Foundations and applications of security analysis: Joint Workshop on Automated Reasoning for Securit…
by Degano, Pierpaolo, Viganò, Luca, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS, York, UK)
fromLecture Notes in Computer Science