Automatic security policy enforcement in computer systems

摘要: Abstract This paper proposes a formal framework for automatic security policy enforcement in computer systems. In this approach, systems and their interactions are formally modeled as process algebra expressions with new dedicated calculus inspired from the ambient calculus. Security policies specified aid of modal logic. We demonstrate how, given expressed by logical formula, our allows to verify whether specification meets requirements. If it does not, optimal system is automatically generated using operator. A software prototype has been implemented show practical feasibility effectiveness framework.