Observational equivalence and security games: Enhancing the formal analysis of security protocols
| Autor: | Cai, Liujia, Cai, Guangying, Lu, Siqi ⁎, Li, Guangsong, Wang, Yongjuan |
|---|---|
| Zdroj: | In Computers & Security May 2024 140 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect