Computability classes for enforcement mechanisms 论文

2006ACM Transactions on Programming Languages and Systems引用 220
DOIPDF
Security and Verification in ComputingAdvanced Malware Detection TechniquesCryptography and Data Security
网络安全Security and Verification in ComputingCryptography and Data SecurityAdvanced Malware Detection Techniques
相关技术:Advanced Malware Detection Techniques
关系图谱

Computability classes for enforcement mechanisms · 作者

F

Fred B. Schneider

G

Greg Morrisett

K

Kevin W. Hamlen