|
[BPA+11]
Stylianos Basagiannis, Sophia Petridou, Nikolaos Alexiou, Georgios Papadimitriou and Panagiotis Katsaros.
Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach.
Computers & Security, 30(4), pages 257–272, Elsevier.
2011.
[bib]
[Analyses the Certified E-mail Message Delivery (CEMD) protocol using PRISM.]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|