基于接口精化的广义无干扰性研究
在复杂构件化软件的设计和实现过程中,由于安全属性的可组合性难以实现,使得系统整体的安全需求难以得到有效保证,因而安全属性的规约和验证问题是构件化软件开发过程中关注的关键问题.针对当前构件化软件设计过程中,信息流安全属性仅局限于二元安全级格模型的问题,在现有安全接口结构基础上提出广义安全接口结构,在广义安全接口结构上定义精化关系,并利用这一精化关系定义了能够支持任意有限格模型的基于安全多执行的无干扰属性,首次将安全多执行的思想应用于构件化系统的信息流安全属性验证.使用Coq定理证明工具实现了接口自动机程序库以及对精化关系的判定过程,并用实例验证说明了无干扰属性定义的特点及判定方法的有效性.
文件下载
评论信息
其他资源
- RATA Raster (BMP) To Allegro (IPF)
- matlab实现语音处理
- 预训练网络RESNET pytorch源码，天气数据四分类问题
- matlab实现的神经网络预测
- 安卓 仿iphone计算器
- Qt加载百度地图和谷歌地图
- ECU-TEST基本教程
- Asp.net Mvc开源论坛mvcforum中版源码
- matlab烟雾检测
- SOA进化之SOA的根源(1)
- vlc.log资源(共享完成)
- PDFObject-master2.24.rar
- 酷开5S05_U2 5.5版本原厂系统刷机包 (android 5.0.1)
- 操作系统概念(第7版)
- GSM监控系统51单片机设计
- 文件管理器app源码
- 新闻APP后台管理
- ecc使用实例源代码——真正好用的vs2010编译过的
- 数据结构课程设计（旅游路线）
- 最好的电子日记本_鸿飞日记本
- 最新9个C# .NET Winform的多线程进度条源码
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明