中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 基础软件国家工程研究中心  > 期刊论文
题名:
安全策略模型规范及其形式分析技术研究
作者: 李丽萍 ; 卿斯汉 ; 周洲仪 ; 何建波 ; 温红子
关键词: 安全策略模型 ; 形式规范 ; 形式分析 ; 定理证明 ; Bell-LaPadula模型
刊名: 通信学报
发表日期: 2006
期: 6, 页:94-101
部门归属: 中国科学院软件研究所,中国科学院软件研究所,中国科学院软件研究所,中国科学院软件研究所,国家电力监管委员会信息中心 北京100080,中国科学院研究生院,北京100049,北京100080,北京100080,中国科学院研究生院,北京100049,北京100080,中国科学院研究生院,北京100049,北京100045
摘要: 形式化是开发高安全等级计算机系统的核心技术之一,但目前形式开发方法无法直接借助于机器证明获得较之手工证明更加严格的安全策略模型正确性保证,以及安全策略模型和安全功能规范之间的精确对应。通过把安全功能规范开发技术应用于安全策略模型的开发中,提出了一种新颖的安全策略模型形式规范构造方法及其证明机理,从而有效解决了上述问题。还以Bell-LaPadula多级安全策略为实例,具体说明了规范的形式开发和形式分析过程。
内容类型: 期刊论文
URI标识: http://ir.iscas.ac.cn/handle/311060/11618
Appears in Collections:基础软件国家工程研究中心_期刊论文

Files in This Item:
File Name/ File Size Content Type Version Access License
安全策略模型规范及其形式分析技术研究.pdf(325KB)----限制开放-- 联系获取全文

Recommended Citation:
李丽萍,卿斯汉,周洲仪,等. 安全策略模型规范及其形式分析技术研究[J]. 通信学报,2006-01-01(6):94-101.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[李丽萍]'s Articles
[卿斯汉]'s Articles
[周洲仪]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[李丽萍]‘s Articles
[卿斯汉]‘s Articles
[周洲仪]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace