Execution monitoring of security-critical programs in distributed systems: a specification-based approach 论文

2002引用 327
Network Security and Intrusion DetectionSecurity and Verification in ComputingAdvanced Malware Detection Techniques

Execution monitoring of security-critical programs in distributed systems: a specification-based approach · 相关技术