作者: Sara Sartoli , Akbar Siami Namin
关键词: Security engineering 、 Security through obscurity 、 Security testing 、 Semantic data model 、 Countermeasure (computer) 、 Computer security model 、 Covert channel 、 Computer science 、 Security information and event management 、 Computer security
摘要: This paper presents a semantic model to represent topology-based security requirements, recommend measures address any possible violations, and thus make the underlying systems compliant with its requirements. The proposed action-based is capable of adaptively adjusting topological given system in response changes structure operational environment. framework benefits from non-monotonic reasoning reason about execution paths hence actions prevent requirements violations. results our case studies show that using approach enforce measures, not only can we detect violations caused by environment, but also