Formal Security Analysis of the MaCAN Protocol

TitleFormal Security Analysis of the MaCAN Protocol
Publication TypeConference Papers
Year of Publication2014
AuthorsBruni, Alessandro, Michal Sojka, Flemming Nielson, and Hanne Riis Nielson
Conference NameIntegrated Formal Methods
Month9
Conference LocationBertinoro, Italy
URLhttp://link.springer.com/chapter/10.1007/978-3-319-10181-1_15
DOI10.1007/978-3-319-10181-1_15