共 50 条
- [32] Composing specifications using communication ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, 2003, 2651 : 58 - 78
- [35] ProToc-An Universal Language for Security Protocols Specifications SOFT COMPUTING IN COMPUTER AND INFORMATION SCIENCE, 2015, 342 : 237 - 248
- [36] The layered games framework for specifications and analysis of security protocols THEORY OF CRYPTOGRAPHY, 2008, 4948 : 125 - 141
- [37] Generation of Service Wrapper Protocols from Choreography Specifications SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2008, : 313 - 322
- [38] German Roadmap on Optical and Quantum Communication 2023 IEEE INTERNATIONAL CONFERENCE ON SPACE OPTICAL SYSTEMS AND APPLICATIONS, ICSOS, 2023, : 206 - 208
- [40] Protocols for scholarly communication LIBRARY AND INFORMATION SERVICES IN ASTRONOMY V: COMMON CHALLENGES, UNCOMMON SOLUTIONS, 2007, 377 : 147 - +