A Model of Execution Monitoring Enforcement Mechanism

摘要：

Execution monitoring (EM) is a ubiquitous way for monitoring untrusted applications. In this paper, we concern the characterization of security policies which was seldom concerned before. We define security policy as a security predicate which is a conjunction of two different sub-predicates:sequences predicate and states predicate. This work proves that different implementations of security policies specify different properties. Under this new definition of security policies, a model of EM enforcement mechanism is designed to describe the relations between the power of EM enforcement mechanism and the requirement of security policies.

关键词： Execution Monitoring Security Policies Properties Enforcement Mechanism Security Automata

作者: Chenhong Liu Bogang Lin

作者单位: College of Mathematics and Computer Science Fuzhou University Fuzhou, China

会议类型: 国际会议

会议名称: 2010 International Conference on Communications and Intelligence Information Security(2010年国际信息与智能安全学术会议 ICCIIS2010)

会议地点: 南宁

会议语种:英文

页码: 69-74

在线出版日期: 2010-10-13（万方平台首次上网日期，不代表论文的发表时间）