Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach
| Autor: | Basagiannis, S., Petridou, S., Alexiou, N., Papadimitriou, G., Katsaros, P. |
|---|---|
| Zdroj: | In Computers & Security 2011 30(4):257-272 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect