Sophia G. Petridou, Stylianos Basagiannis, Nikolaos Alexiou, Georgios I. Papadimitriou, Panagiotis Katsaros. Quantitative model checking of an RSA-based email protocol on mobile devices. In Proceedings of the 16th IEEE Symposium on Computers and Communications, ISCC 2011, Kerkyra, Corfu, Greece, June 28 - July 1, 2011. pages 639-645, IEEE, 2011. [doi]
@inproceedings{PetridouBAPK11,
title = {Quantitative model checking of an RSA-based email protocol on mobile devices},
author = {Sophia G. Petridou and Stylianos Basagiannis and Nikolaos Alexiou and Georgios I. Papadimitriou and Panagiotis Katsaros},
year = {2011},
doi = {10.1109/ISCC.2011.5983911},
url = {http://dx.doi.org/10.1109/ISCC.2011.5983911},
tags = {rule-based, model checking, meta-model, protocol, Meta-Environment, mobile},
researchr = {https://researchr.org/publication/PetridouBAPK11},
cites = {0},
citedby = {0},
pages = {639-645},
booktitle = {Proceedings of the 16th IEEE Symposium on Computers and Communications, ISCC 2011, Kerkyra, Corfu, Greece, June 28 - July 1, 2011},
publisher = {IEEE},
}