Correctness by construction: developing a commercial secure system 论文

2002IEEE Software引用 242
DOI
Security and Verification in ComputingAdvanced Malware Detection TechniquesUser Authentication and Security Systems
网络安全Security and Verification in ComputingUser Authentication and Security SystemsAdvanced Malware Detection Techniques
相关技术:Advanced Malware Detection Techniques
关系图谱

Correctness by construction: developing a commercial secure system · 相关文章

暂无数据