共 50 条
- [31] Implementing a High-Assurance Smart-Card OS FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, 2010, 6052 : 51 - +
- [32] Estimating software rejuvenation schedules in high-assurance systems COMPUTER JOURNAL, 2001, 44 (06): : 473 - 485
- [33] Copilot: a Do-It-Yourself High-Assurance Compiler ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (102): : 1 - 1
- [36] Design and verification of microprocessor systems for high-assurance applications Des. and Verification of Microprocessor Syst. for High-Assur. Applic., (1-436):
- [37] Proving refinement transformations for deriving high-assurance software IEEE HIGH-ASSURANCE SYSTEMS ENGINEERING WORKSHOP, PROCEEDINGS, 1997, : 68 - 77
- [38] Cryptography for a High-Assurance Web-Based Enterprise WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, WCECS 2013, VOL I, 2013, I : 23 - 28
- [39] The Last Mile: High-Assurance and High-Speed Cryptographic Implementations 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), 2020, : 965 - 982
- [40] Systematic policy analysis for high-assurance services in SELinux 2008 IEEE WORKSHOP ON POLICIES FOR DISTRIBUTED SYSTEMS AND NETWORKS, PROCEEDINGS, 2008, : 3 - +