机构

• 软件研究所 [13]
• 高能物理研究所 [5]
• 计算技术研究所 [2]

采集方式

• OAI收割 [20]

内容类型

• 期刊论文 [17]
• 学位论文 [3]

发表日期

• 2008 [1]
• 2007 [2]
• 2006 [6]
• 2003 [1]
• 2002 [1]
• 2001 [2]
• 更多

学科主题

筛选

浏览/检索结果: 共20条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 高安全等级操作系统形式化开发技术研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2008 李丽萍 收藏  |   高等级安全操作系统中可信恢复关键技术研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2007 袁春阳 收藏  |   优先级顶协议的形式化验证 期刊论文  OAI收割 计算机仿真, 2007, 卷号: 24, 期号: 6, 页码: 276-279 张博颖 收藏  |   优先级顶协议的形式规范和验证 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2006 张博颖 收藏  |   多方公平交换协议的形式化分析和设计 期刊论文  OAI收割 中国科学E辑, 2006, 卷号: 36, 期号: 6, 页码: 598-616 卿斯汉; 李改成   |  收藏  |   对一类多级安全模型安全性的形式化分析 期刊论文  OAI收割 计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479 何建波; 卿斯汉; 王超   |  收藏  |   具有冲突约束的RBAC模型的形式化规范与证明 期刊论文  OAI收割 计算机研究与发展, 2006, 卷号: 43, 期号: z2 袁春阳; 贺也平; 何建波; 周洲仪   |  收藏  |   安全策略模型规范及其形式分析技术研究 期刊论文  OAI收割 通信学报, 2006, 期号: 6, 页码: 94-101 李丽萍; 卿斯汉; 周洲仪; 何建波; 温红子   |  收藏  |   基于模型检查实现J2EE规范的实例研究 期刊论文  OAI收割 计算机科学, 2006, 卷号: 33, 期号: 12, 页码: 249-254 李彦; 张文博; 陈宁江   |  收藏  |   一种将设计模式用于程序精化演算的并行程序设计方法研究 期刊论文  OAI收割 计算机研究与发展, 2003, 卷号: 40, 期号: 2, 页码: 318-324 万剑怡; 孙永强; 薛锦云   |  收藏  |