Formal Security Analysis of the MaCAN Protocol
Title | Formal Security Analysis of the MaCAN Protocol |
Publication Type | Conference Papers |
Year of Publication | 2014 |
Authors | Bruni, Alessandro, Michal Sojka, Flemming Nielson, and Hanne Riis Nielson |
Conference Name | Integrated Formal Methods |
Month | 9 |
Conference Location | Bertinoro, Italy |
URL | http://link.springer.com/chapter/10.1007/978-3-319-10181-1_15 |
DOI | 10.1007/978-3-319-10181-1_15 |