Security Verification Method of Embedded Operating System Semaphore Mechanism based on Coq
In: 2nd International Conference on Big Data & Artificial Intelligence & Software Engineering (ICBASE); (2021-09-01) S. 392-395
Konferenz
Zugriff:
Titel: |
Security Verification Method of Embedded Operating System Semaphore Mechanism based on Coq
|
---|---|
Autor/in / Beteiligte Person: | Chen, Xi ; Qiao, Lei ; Liu, Hongbiao ; Ma, Zhi ; Jiang, Jingjing |
Quelle: | 2nd International Conference on Big Data & Artificial Intelligence & Software Engineering (ICBASE); (2021-09-01) S. 392-395 |
Veröffentlichung: | 2021 |
Medientyp: | Konferenz |
ISBN: | 978-1-6654-2709-8 (print) |
DOI: | 10.1109/ICBASE53849.2021.00079 |
Sonstiges: |
|