|
[PBA+11]
Sophia Petridou, Stylianos Basagiannis, Nikolaos Alexiou, Georgios Papadimitriou and Panagiotis Katsaros.
Quantitative Model Checking of an RSA-based Email Protocol on Mobile Devices.
In Proc. 16th IEEE Symposium on Computers and Communications (ISCC'11).
2011.
[bib]
[Analyses the Certified E-mail Message Delivery (CEMD) protocol using PRISM.]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|