Unbounded verification, falsification, and characterization of security protocols by pattern refinement.
| Autor: | Cremers, Cas J.F. |
|---|---|
| Zdroj: | Proceedings of the 15th ACM Conference: Computer & Communications Security; 10/27/2008, p119-128, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|