机构

• 软件研究所 [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 李丽萍 收藏  |  浏览/下载：14/0  |  提交时间：2011/03/17 安全操作系统  形式化  形式化安全策略模型  形式化顶层规范  求精  安全体系结构  微内核   高等级安全操作系统中可信恢复关键技术研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2007 袁春阳 收藏  |  浏览/下载：22/0  |  提交时间：2011/03/17 安全操作系统  可信恢复  可信计算  形式化规范与验证  安全审计   优先级顶协议的形式化验证 期刊论文  OAI收割 计算机仿真, 2007, 卷号: 24, 期号: 6, 页码: 276-279 张博颖 收藏  |  浏览/下载：56/6  |  提交时间：2011/07/01 优先级顶协议  时段演算  调度  实时操作系统  形式规范和验证  调度协议  验证方法  状态函数  实时数据库系统  阻塞性  规范  优先级驱动  形式化验证  易于理解  时段演算  无死锁  抢占式  应用  文献  个性   优先级顶协议的形式规范和验证 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2006 张博颖 收藏  |  浏览/下载：19/0  |  提交时间：2011/03/17 优先级顶协议  时段演算  调度  实时操作系统  形式规范和验证   多方公平交换协议的形式化分析和设计 期刊论文  OAI收割 中国科学E辑, 2006, 卷号: 36, 期号: 6, 页码: 598-616 卿斯汉; 李改成   |  收藏  |  浏览/下载：9/0  |  提交时间：2011/07/13 公平交换  逻辑协议  形式化模型  安全需求  多方公平交换协议  形式化分析  事件  各种关系  细粒度  交易方  层次化  组成  信道  消息  设计  起源  模型  检测  规范  安全   对一类多级安全模型安全性的形式化分析 期刊论文  OAI收割 计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479 何建波; 卿斯汉; 王超   |  收藏  |  浏览/下载：29/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 袁春阳; 贺也平; 何建波; 周洲仪   |  收藏  |  浏览/下载：12/0  |  提交时间：2010/08/23 基于角色的访问控制  形式化规范和证明  责任分离  冲突约束  Z语言   安全策略模型规范及其形式分析技术研究 期刊论文  OAI收割 通信学报, 2006, 期号: 6, 页码: 94-101 李丽萍; 卿斯汉; 周洲仪; 何建波; 温红子   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/07/13 安全策略模型  形式规范  形式分析  定理证明  Bell-LaPadula模型   基于模型检查实现J2EE规范的实例研究 期刊论文  OAI收割 计算机科学, 2006, 卷号: 33, 期号: 12, 页码: 249-254 李彦; 张文博; 陈宁江   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/07/13 J2EE规范  模型检查  SPIN  基于模型  检查工具  规范要求  Model Checking  应用服务器  描述方式  设计方案  兼容性测试  形式化模型  分析与验证  自然语言  证明  使用模型  技术设计  规范描述  规范方法  多层应用  中科院  分布式  二义性   一种将设计模式用于程序精化演算的并行程序设计方法研究 期刊论文  OAI收割 计算机研究与发展, 2003, 卷号: 40, 期号: 2, 页码: 318-324 万剑怡; 孙永强; 薛锦云   |  收藏  |  浏览/下载：23/0  |  提交时间：2011/07/29 设计模式  精化演算  并行程序设计  设计模式  程序设计  精化演算  并行程序  方法研究  Refinement Calculus  Design Patterns  Method of  问题求解  设计方法  描述  扩充  并行开发  并行计算  形式化  知识  语言  体系  模型  规范