期刊文章详细信息
一个信息安全系统的形式描述和验证
A formal description and verification system of information security
文献类型：期刊文章
机构地区：[1]内江师范学院计算机与信息科学系,四川内江641112 [2]内江师范学院网络应用项目开发重点实验室,四川内江641112
基 金：国家973资助项目1999035801;四川省教育厅自然科学重点项目(2006A130);内江师院院级科研项目:06NJZ-5
年 份：2008
卷 号：34
期 号：4
起止页码：795-799
语 种：中文
收录情况：AJ、CAB、CAS、CSA-PROQEUST、RCCSE、UPD、WOS、ZGKJHX、ZMATH、普通刊
摘 要：本文通过引入一些新概念,利用有限状态机原理和BLP模型、Biba模型思想,对一个基于认证和授权的信息系统进行了形式化描述和验证,该模型具有保密性和完整性.
关 键 词：BLP模型 BIBA模型 认证 授权 保密性 完整性
分 类 号：TP309]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
