|
已选(0)清除
条数/页： 排序方式：
|
| 基于符号模型的TLS1.3协议安全性自动化分析 期刊论文
数学的实践与认识, 2019, 期号: 05
作者: 王小峰; 张奇林; 刘加兵
  收藏 | 浏览/下载：5/0 | 提交时间：2019/12/05
|
| 信息物理融合系统可信软件形式化建模与分析 期刊论文
系统工程理论与实践, 2014, 期号: [db:dc_citation_issue], 页码: 1857-1867
作者: 于振华; 蔡远利; 付晓; 谢文军; 徐海平
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/02
|
| 基于RGPS服务本体交互建模分析与验证 期刊论文
小型微型计算机系统, 2013, 卷号: 34, 期号: 3
作者: 黄贻望; 何克清; 李征; 黄颖; 袁科
收藏 | 浏览/下载：4/0 | 提交时间：2019/12/05
|
| 一种跨组织业务流程死锁检测方法 学位论文
: 大连理工大学, 2012
作者: 邴兴华
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/18
|
| 面向WS-CDL的服务编排形式化建模及验证工具研究与实现 学位论文
2011
作者: 林培文
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/10
|
| 面向跨组织业务流程的角色行为验证方法 期刊论文
计算机工程与设计, 2011, 卷号: 32, 页码: 3368-3373
作者: 叶鑫; 马俊锋
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/18
|
| 基于Pi演算的Web服务组合过程框架 期刊论文
计算机与数字工程, 2011, 期号: 7
作者: 毛瑞雪
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/05
|
| 基于应用pi演算的可信平台模块的安全性形式化分析 期刊论文
计算机研究与发展, 2011, 卷号: 48, 期号: 8
作者: 徐士伟; 张焕国
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/05
|
| 基于Pi演算的网构软件组装与演化框架 期刊论文
微计算机信息, 2011, 卷号: 第27卷 第2期, 页码: 243-245
作者: 傅凌云，胡德发，屈喜龙
收藏 | 浏览/下载：3/0 | 提交时间：2020/01/05
|
| 基于构件技术的分布式工作流模型及其验证 期刊论文
中国电子商情：通信市场, 2011, 页码: 93-98
作者: 刘旭鹏
收藏 | 浏览/下载：1/0 | 提交时间：2020/01/06
|
