共 50 条
- [11] CryptAttackTester: high-assurance attack analysis ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT VI, 2024, 14925 : 141 - 182
- [13] Challenges in High-Assurance Runtime Verification LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I, 2016, 9952 : 446 - 460
- [15] High-assurance integrity techniques for databases SHARING DATA, INFORMATION AND KNOWLEDGE, PROCEEDINGS, 2008, 5071 : 244 - 256
- [16] A high-assurance measurement repository system FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 265 - 272
- [17] A High-assurance, Virtual Guard Architecture 2012 IEEE MILITARY COMMUNICATIONS CONFERENCE (MILCOM 2012), 2012,
- [18] Jasmin: High-Assurance and High-Speed Cryptography CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2017, : 1807 - 1823
- [19] Jasmin: High-assurance and high-speed cryptography Proc ACM Conf Computer Commun Secur, 1600, (1807-1823):
- [20] Meta-Amphion: cost-effective development of high-assurance software generators IEEE INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1998, 13 (02): : 12 - 13