Compliance Verification Algorithm for Computer Systems Security Policies

机译：计算机系统安全策略的符合性验证算法

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper proposes an algebraic formalism and a dedicated logic for computer systems and security policies specifications. A tableau-based proof system is then developed for assessing whether policies are satisfied for a given model of a computer system. A practical example and an implementation within a theorem prover show the effectiveness of our specification and verification technique.

机译：本文针对计算机系统和安全策略规范提出了代数形式主义和专用逻辑。然后，开发了一种基于表格的证明系统，用于评估是否满足给定计算机系统模型的策略。一个定理证明者中的实际示例和实现说明了我们的规范和验证技术的有效性。

著录项

来源
《Inernational Conference on e-Technologies》|2017年|96-115|共20页
会议地点 Ottawa(CA)
作者
Liviu Pene; Lamia Hamza; Kamel Adi;
展开▼
作者单位

Computer Security Research Laboratory Universite du Quebec en Outaouais Gatineau Canada;

Laboratoire d'Informatique Medicale Universite de Bejaia Bejaia Algeria;

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
Computer security; Formal methods; Process algebra; Modal logic; Security policy; Verification algorithm; Tableau-based proof; Theorem prover;

机译：计算机安全；正式方法；过程代数模态逻辑安全政策；验证算法；基于Tableau的证明；定理证明者;

相似文献

外文文献
中文文献
专利

1. Using warning systems with adaptable thresholds: Choice of security level, compliance and performance in a simulated computer security task [J] . Wiczorek Rebecca, Zirk Anna International journal of human-computer studies . 2019,第期

机译：使用具有适应性阈值的警告系统：在模拟计算机安全任务中选择安全级别，合规性和性能
2. Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system [J] . George Hacken Computing reviews . 2019,第1期

机译：计算机算术和形式证明：使用Coq系统验证浮点算法
3. Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system [J] . George Hacken Computing reviews . 2018,第11期

机译：计算机算术和形式证明：使用Coq系统验证浮点算法
4. Compliance Verification Algorithm for Computer Systems Security Policies [C] . Liviu Pene, Lamia Hamza, Kamel Adi Inernational Conference on e-Technologies . 2017

机译：计算机系统的合规性验证算法安全策略
5. An Analysis of Factors that Influence Information System User’s Compliance with Information System Security Policy [D] . Faizi, Salman M. 2020

机译：影响信息系统用户遵守信息系统安全策略的因素分析
6. Verification validation algorithms for data used in critical care decision support systems. [O] . D. Carlson, C. J. Wallace, T. D. East, 1995

机译：重症监护决策支持系统中使用的数据的验证和确认算法。
7. CyberSPL: A Framework for the Verification of Cybersecurity Policy Compliance of System Configurations Using Software Product Lines [O] . Ángel Jesús Varela-Vaca, Rafael M. Gasca, Rafael Ceballos, 2019

机译：Cyber Pl：使用软件产品线验证系统配置的网络安全策略遵守框架

Compliance Verification Algorithm for Computer Systems Security Policies

摘要

著录项

相似文献

相关主题

期刊订阅