首页> 中文期刊> 《西南民族大学学报：自然科学版》 >一个信息安全系统的形式描述和验证

一个信息安全系统的形式描述和验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

本文通过引入一些新概念,利用有限状态机原理和BLP模型、Biba模型思想,对一个基于认证和授权的信息系统进行了形式化描述和验证,该模型具有保密性和完整性.

著录项

来源
《西南民族大学学报：自然科学版》 |2008年第4期|795-799|共5页
作者
刘益和; 何文孝;
展开▼
作者单位

内江师范学院计算机与信息科学系;

内江师范学院网络应用项目开发重点实验室;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
BLP模型; Biba模型; 认证; 授权; 保密性; 完整性;

相似文献

中文文献
外文文献
专利

1. 数字签名过程的一个形式描述和验证 [J] . 刘益和 . 河南师范大学学报：自然科学版 . 2005,第2期
2. 支持扩展虚拟同步的组通信算法形式描述与验证 [J] . 邓延军 ,徐学洲 . 计算机研究与发展 . 2005,第004期
3. 一种应用层安全通信协议的形式描述和验证 [J] . 谭凯军 ,诸鸿文 . 计算机工程与应用 . 1998,第002期
4. 基于标号有限状态机的协议形式描述与验证 [J] . 李腊元 . 计算机应用与软件 . 1998,第003期
5. 基于Z的协议形式描述与验证 [J] . 李腊元 . 计算机科学 . 1994,第006期
6. 一个图象（声音）传输协议的形式描述 [C] . 吕宏伟 ,石成英 . 第十届中国计算机学会网络与数据通信学术会议 . 1998
7. 一个可公开验证的门限多重秘密共享方案 [A] . 蔡兆政 . 2019

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号