共 50 条
- [21] MicroTEE: Designing TEE OS Based on the Microkernel Architecture 2019 18TH IEEE INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS/13TH IEEE INTERNATIONAL CONFERENCE ON BIG DATA SCIENCE AND ENGINEERING (TRUSTCOM/BIGDATASE 2019), 2019, : 26 - 33
- [22] Early performance evaluation of Multi-OS embedded platforms using native simulation 16TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2013), 2013, : 64 - 67
- [23] Performance Evaluation of a Secure Microkernel on a Single-Board Computer IEEE SOUTHEASTCON 2020, 2020,
- [25] Proving Fairness and Implementation Correctness of a Microkernel Scheduler Journal of Automated Reasoning, 2009, 42 : 349 - 388
- [27] Implementation for embedded interrupt based on uC/OS-II Proceedings of the 2007 Chinese Control and Decision Conference, 2007, : 999 - 1002
- [28] Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel PROCEEDINGS OF THE 18TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, OSDI 2024, 2024, : 465 - 485
- [30] A Performance Evaluation of IPsec with Post-Quantum Cryptography INFORMATION SECURITY AND CRYPTOLOGY - ICISC 2022, 2023, 13849 : 249 - 266