Enforceable security policies 论文
2000ACM Transactions on Information and System Security引用 1263
Security and Verification in ComputingDistributed systems and fault toleranceAdvanced Malware Detection Techniques
摘要
A precise characterization is given for the class of security policies enforceable with mechanisms that work by monitoring system execution, and automata are introduced for specifying exactly that class of security policies. Techniques to enforce security policies specified by such automata are also discussed.