基于接口精化的广义无干扰性研究
在复杂构件化软件的设计和实现过程中,由于安全属性的可组合性难以实现,使得系统整体的安全需求难以得到有效保证,因而安全属性的规约和验证问题是构件化软件开发过程中关注的关键问题.针对当前构件化软件设计过程中,信息流安全属性仅局限于二元安全级格模型的问题,在现有安全接口结构基础上提出广义安全接口结构,在广义安全接口结构上定义精化关系,并利用这一精化关系定义了能够支持任意有限格模型的基于安全多执行的无干扰属性,首次将安全多执行的思想应用于构件化系统的信息流安全属性验证.使用Coq定理证明工具实现了接口自动机程序库以及对精化关系的判定过程,并用实例验证说明了无干扰属性定义的特点及判定方法的有效性.
文件下载
评论信息
其他资源
- 5G移动通信系统与技术（PDF,99页）
- ABB的GSD文件
- 东北大学计算机考研842 C语言训练题目
- 永磁同步电机FOC控制MATLAB仿真模型
- 广东省矢量数据
- 统计学关我什么事
- 新浪微博，情感分析标记语料共12万条
- 两种方法实现：labview中4位16进制字符串转10进制小数
- FlashFTP完美永久破解版
- Hello China V1.75二进制文件和源代码
- Algorithm-Practice-源码
- Python小游戏源码-炸弹人小游戏游戏源码
- 前端基础教学（第一课堂）.zip
- 基金可视化分析Python源代码
- decode-the-morse-code-for-real-passed.py
- 解密操作步骤.doc
- 瑞芯微量产工具RKBatchTool升级工具V1.8（博悦T62升级必备三方）
- 操作系统实现作业调度实验MFC源程序
- 户籍管理系统
- vlc 播放器
- Computer Systems_A Programmer-'s Perspective (2nd Edition).pdf
- EzDriverInstaller.exe
- CREO二次开发VB接口说明指引
- AngularJS开发小项目
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明