Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols
| Autor: | Lafrance, Stéphane, Mullins, John |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science January 2002 61:154-177 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect