搜索结果: 1-1 共查到“知识库 军事学 software systems”相关记录1条 . 查询时间(0.121 秒)
Survey of Approaches for Security Verification of Hardware/Software Systems
formal methods theorem provers model checkers
2016/12/10
Variety of computing systems have been proposed to provide protection for sensitive code or data through hardware or software mechanisms. This paper surveys the landscape of security verification appr...