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 |
