共 50 条
- [1] Limitations of Authentication Test in the Analysis of Multi-party Security Protocols PROCEEDINGS 2013 INTERNATIONAL CONFERENCE ON MECHATRONIC SCIENCES, ELECTRIC ENGINEERING AND COMPUTER (MEC), 2013, : 2243 - 2247
- [2] Adaptive Security of Multi-party Protocols, Revisited THEORY OF CRYPTOGRAPHY, TCC 2021, PT I, 2021, 13042 : 686 - 716
- [3] Configurable analysis of sequential multi-party choreographies COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2012, 27 (02): : 117 - 132
- [4] A robust multi-party key agreement protocol resistant to malicious participants COMPUTER JOURNAL, 2005, 48 (04): : 480 - 487
- [5] Data Federation System for Multi-party Security Ruan Jian Xue Bao/Journal of Software, 2022, 33 (03): : 1111 - 1127
- [8] Towards automated design of multi-party rational exchange security protocols PROCEEDING OF THE 2007 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE AND INTELLIGENT AGENT TECHNOLOGY, WORKSHOPS, 2007, : 387 - 390
- [10] Adaptive versus Non-Adaptive Security of Multi-Party Protocols Journal of Cryptology, 2004, 17 : 153 - 207