.png){kind=icon}
返回
Automatic security policy enforcement in computer systems
.png){kind=icon}
PRE
AI
DOI：10.1016/j.cose.2017.10.012.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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 a new dedicated calculus inspired from the ambient calculus. Security policies are specified with the aid of a dedicated modal logic. We demonstrate how, for a given security policy expressed by a logical formula, our calculus allows to verify whether the specification meets the security policy requirements. If it does not, the optimal enforcement for the system is automatically generated using our enforcement operator. A software prototype has been implemented to show the practical feasibility and the effectiveness of our security policy enforcement framework. (C) 2017 Elsevier Ltd. All rights reserved.
Keyword:
Computer security
Formal methods
Process algebra
Security policy
Policy enforcement
Ambient calculus
Modal logic
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
C
IF:
5.4
论文数:
4.6K
被引数:
1.4W
机构
引用论文
Modeling dermatome selectivity of single-and multiple-current source spinal cord stimulation systems.png)
2014 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society
2014 36th Annual International Conference of the IEEE Engineering in Medicine and Biology SocietyIF0
PREAI
分享收藏
没有更多内容
没有更多内容