Performance Evaluation of Security Protocols Specified in LySa. | Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Mikael Buchholtz, Flemming Nielson, Flemming Nielson, Hanne Riis Nielson, Hanne Riis Nielson, Corrado Priami, Corrado Priami
| | Type | Journal paper [With referee] | | Journal | Electr. Notes Theor. Comput. Sci. | | Year | 2005 Month April Vol. 112 pp. 167-189 | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|