Specification and validation of a security policy model

Boswell A.

首页> 外文期刊>IEEE Transactions on Software Engineering >Specification and validation of a security policy model

【24h】

Specification and validation of a security policy model

机译：规范和验证安全策略模型

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

The paper describes the development of a formal security policy model in Z for the NATO Air Command and Control System (ACCS): a large, distributed, multilevel-secure system. The model was subject to manual validation, and some of the issues and lessons in both writing and validating the model are discussed.

机译：本文描述了在Z中为北约空中指挥与控制系统（ACCS）开发的正式安全策略模型的发展：一个大型的，分布式的，多层次的安全系统。该模型需要人工验证，并讨论了编写和验证模型中的一些问题和教训。

著录项

来源
《IEEE Transactions on Software Engineering》 |1995年第2期|P.63-68|共6页
作者
Boswell A.;
展开▼
作者单位

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类计算机软件;
关键词

相似文献

外文文献
中文文献
专利

1. Executable Security Policies: Specification and Validation of Security Policies [J] . Ryma Abassi, Sihem Guemara El Fatmi International Journal of Wireless & Mobile Networks . 2009,第1期

机译：可执行安全策略：安全策略的规范和验证
2. Towards a Formal Model for Security Policies Specification and Validation in the SELinux System [J] . Giorgio Zanin, Luigi Vincenzo Mancini ACM Symposium on Access Control Models and Technologies . 2004,第2004Suppla期

机译：建立SELinux系统中安全策略规范和验证的正式模型
3. Spatiotemporal model checking of location and mobility related security policy specifications [J] . DEVR?M üNAL, MEHMET UFUK ?A?LAYAN Turkish Journal of Electrical Engineering and Computer Sciences . 2013,第1期

机译：与位置和移动性相关的安全策略规范的时空模型检查
4. A Model for Specification and Validation of Security Policies in Communication Networks: the Firewall case [C] . Ryma Abassi, Sihem Guemara El Fatmi International Conference on Availability, Security and Reliability . 2008

机译：通信网络中安全策略规范和验证模型：防火墙案例
5. Ensuring the Effectiveness of Information Security Policy: The Development and Validation of an Information Security Policy Model [D] . Chen, Vivid Vicki 2012

机译：确保信息安全策略的有效性：信息安全策略模型的开发和验证
6. Are social security policies for Chinese landless farmers really effective on health in the process of Chinese rapid urbanization? a study on the effect of social security policies for Chinese landless farmers on their health-related quality of life [O] . Ying Liang, Wanyi Lu, Wei Wu 2014

机译：在中国快速的城市化进程中针对中国失地农民的社会保障政策真的对健康有效吗？中国失地农民的社会保障政策对其健康相关生活质量的影响研究
7. Formal specification and validation of security policies [O] . Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, 2016

机译：安全策略的正式规范和验证
8. Modeling Security-Enhanced Linux Policy Specifications for Analysis (Preprint) [R] . Archer, M. , Leonard, E. , Pradella, M. 2003

机译：为安全性增强的Linux策略规范建模以进行分析（预打印）

Specification and validation of a security policy model

摘要

著录项

相似文献

相关主题

期刊订阅