Quantitative model checking of an RSA-based email protocol on mobile devices.
| Autor: | Petridou, S., Basagiannis, S., Alexiou, N., Papadimitriou, G., Katsaros, P. |
|---|---|
| Zdroj: | 2011 IEEE Symposium on Computers & Communications (ISCC); 2011, p639-645, 7p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|