中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共8条，第1-8条

帮助

条数/页：排序方式：
	高安全等级操作系统形式化开发技术研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2008 李丽萍收藏 \| 浏览/下载：12/0 \| 提交时间：2011/03/17 安全操作系统形式化形式化安全策略模型形式化顶层规范求精安全体系结构微内核
	高等级安全操作系统中可信恢复关键技术研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 袁春阳收藏 \| 浏览/下载：19/0 \| 提交时间：2011/03/17 安全操作系统可信恢复可信计算形式化规范与验证安全审计
	多方公平交换协议的形式化分析和设计期刊论文 OAI收割中国科学E辑, 2006, 卷号: 36, 期号: 6, 页码: 598-616 卿斯汉; 李改成 \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2011/07/13 公平交换逻辑协议形式化模型安全需求多方公平交换协议形式化分析事件各种关系细粒度交易方层次化组成信道消息设计起源模型检测规范安全
	对一类多级安全模型安全性的形式化分析期刊论文 OAI收割计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479 何建波; 卿斯汉; 王超 \| 收藏 \| 浏览/下载：26/0 \| 提交时间：2011/07/13 BLP模型 MLS策略安全不变式 Z语言 Z/EVES定理证明器多级安全模型安全性形式化分析不变式验证模型形式化规范验证工具系统安全策略表述形式分析表语言思想理论客体方法Computer programming languages Formal languages Functions Mathematical models Security of data Security systems Specifications Theorem prov
	具有冲突约束的RBAC模型的形式化规范与证明期刊论文 OAI收割计算机研究与发展, 2006, 卷号: 43, 期号: z2 袁春阳; 贺也平; 何建波; 周洲仪 \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2010/08/23 基于角色的访问控制形式化规范和证明责任分离冲突约束 Z语言
	基于模型检查实现J2EE规范的实例研究期刊论文 OAI收割计算机科学, 2006, 卷号: 33, 期号: 12, 页码: 249-254 李彦; 张文博; 陈宁江 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/07/13 J2EE规范模型检查 SPIN 基于模型检查工具规范要求 Model Checking 应用服务器描述方式设计方案兼容性测试形式化模型分析与验证自然语言证明使用模型技术设计规范描述规范方法多层应用中科院分布式二义性
	一种将设计模式用于程序精化演算的并行程序设计方法研究期刊论文 OAI收割计算机研究与发展, 2003, 卷号: 40, 期号: 2, 页码: 318-324 万剑怡; 孙永强; 薛锦云 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/07/29 设计模式精化演算并行程序设计设计模式程序设计精化演算并行程序方法研究 Refinement Calculus Design Patterns Method of 问题求解设计方法描述扩充并行开发并行计算形式化知识语言体系模型规范
	基于PVS的密码协议形式化规范期刊论文 OAI收割中国科学院研究生院学报, 2002, 卷号: 19.0, 期号: 003, 页码: 233 作者: Zheng Yuan; Hu Chengjun; Lu Shuwang; Shen Changxiang \| 收藏 \| 浏览/下载：4/0 \| 提交时间：2023/12/04 密码协议形式化规范 PVS 规范语言规范方法加密系统语义编码方式