Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks.
| Autor: | Schaller, P., Schmidt, B., Basin, D., Capkun, S. |
|---|---|
| Zdroj: | 2009 22nd IEEE Computer Security Foundations Symposium; 2009, p109-123, 15p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|