Symbolic Model Checking of Security Protocols for Ad hoc Networks on any Topologies.
| Autor: | Pura, Mihai Lica, Buchs, Didier |
|---|---|
| Zdroj: | Transactions on Petri Nets & Other Models of Concurrency X; 2015, p109-130, 22p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|