Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols
| Autor: | Mullins, John ∗, Lafrance, Stéphane |
|---|---|
| Zdroj: | In Information and Software Technology 2003 45(11):779-790 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect