CORC

在结果中检索

CORC

浏览/检索结果: 共7条，第1-7条 帮助

已选(0)清除 条数/页：   排序方式：
基于CPN的安全协议形式化建模及安全分析方法 期刊论文
通信学报, 2021, 卷号: 42, 期号: 09, 页码: 240-253
作者:  龚翔;  冯涛;  杜谨泽
收藏  |  浏览/下载：13/0  |  提交时间：2021/10/20
工业以太网EtherCAT协议形式化安全评估及改进 期刊论文
计算机研究与发展, 2020, 期号: 2020-11, 页码: 2312-2327
作者:  冯涛;  王帅帅;  龚翔;  方君丽
收藏  |  浏览/下载：17/0  |  提交时间：2020/12/18
基于HCPN模型检测方法的DNP3-SA协议形式化安全评估与改进 学位论文
2018
作者:  鲁晔
收藏  |  浏览/下载：11/0  |  提交时间：2020/11/05
基于分层时间有色Petri网的支付协议公平性分析 期刊论文
电子与信息学报, 2009, 卷号: 31, 页码: 1445-1450
作者:  
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/24
SCTP关联管理的有色Petri网建模与分析 学位论文
: 兰州理工大学, 2006
作者:  张生财
收藏  |  浏览/下载：0/0  |  提交时间：2020/11/05
产品开发过程资源管理及其仿真 期刊论文
系统仿真学报, 2005, 卷号: 17, 页码: 1322-1325
作者:  祖旭;  黄洪钟;  周峰;  古莹奎
收藏  |  浏览/下载：2/0  |  提交时间：2020/01/02
安全开放系统的Petri网模型 期刊论文
2005, 卷号: 22, 期号: 10, 页码: 1-2
作者:  文静华;  李祥
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/05

©版权所有 ©2017 CSpace - Powered by CSpace