机构

• 软件研究所 [12]
• 沈阳自动化研究所 [2]

采集方式

• OAI收割 [14]

内容类型

• 期刊论文 [12]
• 学位论文 [2]

发表日期

• 2020 [1]
• 2015 [1]
• 2014 [1]
• 2012 [1]
• 2011 [1]
• 2008 [1]
• 更多

学科主题

• Computer S... [1]
• 计算机科学技术 [1]
• 计算机科学技术基础学... [1]
• 计算机科学技术基础学... [1]

筛选

浏览/检索结果: 共14条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于行为特征的CPU漏洞发现与利用方法研究 学位论文  OAI收割 硕士, 北京: 中国科学院大学, 2020 作者:  刘迎辉   |  收藏  |  浏览/下载：18/0  |  提交时间：2020/06/10 硬件安全  瞬态执行攻击  侧信道攻击  形式化建模  关系模型发现   数据库形式化安全策略模型建模及分析方法 期刊论文  OAI收割 通信学报, 2015, 卷号: 36, 期号: 9, 页码: 2015151 王榕; 张敏; 冯登国; 李昊   |  收藏  |  浏览/下载：28/0  |  提交时间：2016/12/09 形式化建模  数据库  定理证明  安全策略模型   带时间和资源约束的实例化过程模型验证方法 期刊论文  OAI收割 计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松   |  收藏  |  浏览/下载：21/0  |  提交时间：2014/12/16 实例化过程模型  软件过程  建模  验证  模型检测  形式化方法  process instantiation model  software process  modeling verification  model checking  formal method   基于状态转移系统的安全协议形式化建模方法的研究 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2012 岳庆刚   |  收藏  |  浏览/下载：12/0  |  提交时间：2012/05/31 安全协议  形式化方法  自动建模  拒绝服务攻击   一种形式化的组件化软件过程建模方法 期刊论文  OAI收割 Journal of Software, 2011, 卷号: 22, 期号: 1, 页码: 1-16 翟健; 杨秋松; 肖俊超; 李明树   |  收藏  |  浏览/下载：18/0  |  提交时间：2013/10/08 软件过程  过程建模  过程重用  过程组件  形式化方法   基于代数的软件过程建模系统的设计与实现 期刊论文  OAI收割 计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 530-534,539 杨国伟; 杨秋松; 翟健; 袁峰   |  收藏  |  浏览/下载：25/0  |  提交时间：2011/06/10 软件过程建模  多元π演算  ASPMS系统  形式化分析  验证  代数  软件过程建模语言  建模系统  设计  软件开发过程  易于理解  表示方式  表达能力  图形化  形式化语义  组织  生产质量  开发效率  π演算  模型  描述  矛盾   双重软件体系结构描述框架XYZ/ADL 期刊论文  OAI收割 计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494 朱雪阳   |  收藏  |  浏览/下载：28/0  |  提交时间：2011/07/01 软件体系结构  体系结构描述语言  双重描述框架  XYZ/E  时序逻辑  UML  活动图  状态图  形式语义  结构描述  框架  形式化方法  语义基础  图形语言  软件工程师  表示系统  体系结构设计  时序逻辑语言  软件开发过程  软件的可靠性  语言建模  形式语言  行为表示  前端  静态语义  结构框图  结构建模  基本概念Formal languages  Formal methods  Semantics  Software engineering  Software reliability  Tem   基于DTE策略的安全域隔离Z形式模型 期刊论文  OAI收割 计算机研究与发展, 2007, 卷号: 44, 期号: 11, 页码: 1881-1888 卿斯汉; 李丽萍; 何建波; 沈晴霓   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/07/01 安全域隔离  信息流  DTE  可信管道  形式化  策略  安全域  域隔离  形式模型  系统安全性  形式定义  隔离技术  形式分析方法  信息流分析  验证  系统状态  可信系统  建模问题  安全状态  安全性质  安全目标  不变量  语言  基础Formal languages  Magnetic domains  Query languages  Servers  Specifications  Verification   功能块形式化建模与测试序列生成方法研究 期刊论文  OAI收割 仪器仪表学报, 2007, 卷号: 28, 期号: S, 页码: 755-757 作者:  王宏;  张连领;  于海斌;  王忠锋   |  收藏  |  浏览/下载：15/0  |  提交时间：2010/11/29 现场总线  功能块测试  互操作测试  形式化建模  测试案例  有限状态机模型   需求驱动的Web服务建模及其验证:一个基于本体的方法 期刊论文  OAI收割 中国科学E辑, 2006, 卷号: 36, 期号: 10, 页码: 1189-1219 侯丽珊; 金芝; 吴步丹   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/07/13 Web服务  环境本体  自动组合  π演算  形式化验证  需求驱动  Web服务  建模  验证算法  本体  组合模型  环境变化  能力描述  进程表达式  转换机制  验证方法  可满足性  操作  形式化  概念化  π演算  语义  行为  框架  交互