机构

• 软件研究所 [15]
• 计算技术研究所 [1]

采集方式

• OAI收割 [16]

内容类型

• 期刊论文 [10]
• 学位论文 [6]

发表日期

• 2014 [2]
• 2012 [1]
• 2009 [1]
• 2008 [2]
• 2007 [1]
• 2006 [4]
• 更多

学科主题

筛选

浏览/检索结果: 共16条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于MTM的可信系统应用与安全性分析研究 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2014 冯伟   |  收藏  |  浏览/下载：14/0  |  提交时间：2015/01/16 移动可信计算  平台证明  可信引导  可信网络接入  串空间  形式化分析   可信计算协议的形式化分析方法和测试技术研究 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2014 奚瓅   |  收藏  |  浏览/下载：16/0  |  提交时间：2015/01/26 可信计算  形式化分析  API  匿名协议   动态远程证明协议及其形式化分析 期刊论文  OAI收割 计算机工程与设计, 2012, 卷号: 33, 期号: 8, 页码: 2901-2905 辛思远; 赵勇; 王婷   |  收藏  |  浏览/下载：11/0  |  提交时间：2013/09/17 动态度量  远程证明  时间戳  LS2逻辑  形式化分析   可信平台模块的形式化分析和测试 期刊论文  OAI收割 计算机学报, 2009, 期号: 4, 页码: 646-653 陈小峰   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/03/18 可信计算平台,可信平台模块,一致性测试,形式化分析   网络安全协议形式化分析及支撑工具研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2008 肖美华 收藏  |  浏览/下载：27/0  |  提交时间：2011/03/17 安全协议  形式化分析  模型检测  算法知识逻辑  偏序归约   基于代数的软件过程建模系统的设计与实现 期刊论文  OAI收割 计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 530-534,539 杨国伟; 杨秋松; 翟健; 袁峰   |  收藏  |  浏览/下载：25/0  |  提交时间：2011/06/10 软件过程建模  多元π演算  ASPMS系统  形式化分析  验证  代数  软件过程建模语言  建模系统  设计  软件开发过程  易于理解  表示方式  表达能力  图形化  形式化语义  组织  生产质量  开发效率  π演算  模型  描述  矛盾   安全操作系统开发中的形式化技术应用研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2007 陈坤 收藏  |  浏览/下载：10/0  |  提交时间：2011/03/17 安全操作系统  形式化分析  状态机模型  测试用例生成  Isabelle工具   高安全等级操作系统可信进程安全策略及其关键技术的研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2006 沈晴霓 收藏  |  浏览/下载：23/0  |  提交时间：2011/03/17 安全操作系统  可信进程  安全策略  模型  形式化分析  特权  可信路径   安全协议的形式化分析技术与方法 期刊论文  OAI收割 计算机学报, 2006, 卷号: 29, 期号: 1, 页码: 40198 薛锐; 冯登国   |  收藏  |  浏览/下载：12/0  |  提交时间：2010/05/27 安全协议  形式化分析  安全目标  Dolev-Yao模型  密码学可靠性   多方公平交换协议的形式化分析和设计 期刊论文  OAI收割 中国科学E辑, 2006, 卷号: 36, 期号: 6, 页码: 598-616 卿斯汉; 李改成   |  收藏  |  浏览/下载：9/0  |  提交时间：2011/07/13 公平交换  逻辑协议  形式化模型  安全需求  多方公平交换协议  形式化分析  事件  各种关系  细粒度  交易方  层次化  组成  信道  消息  设计  起源  模型  检测  规范  安全