共 50 条
- [1] Unwinding possibilistic security properties [J]. COMPUTER SECURITY - ESORICS 2000, PROCEEDINGS, 2000, 1895 : 238 - 254
- [4] An environment for specifying and verifying security properties [J]. 2001 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 203 - 212
- [5] Verifying Quantum Communication Protocols with Ground Bisimulation [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2020, 2020, 12079 : 21 - 38
- [7] Verifying Security Properties in Unbounded Multiagent Systems [J]. AAMAS'16: PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, 2016, : 1209 - 1217
- [8] Verifying security properties of cryptoprotocols: A novel approach [J]. SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 349 - +