QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 内容类型：期刊论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 基于CPN的安全协议形式化建模及安全分析方法 期刊论文 通信学报, 2021, 卷号: 42, 期号: 09, 页码: 240-253 作者:  龚翔;  冯涛;  杜谨泽 收藏  |  浏览/下载：13/0  |  提交时间：2021/10/20 有色Petri网  安全协议  形式化分析  状态空间  攻击路径   工业以太网EtherCAT协议形式化安全评估及改进 期刊论文 计算机研究与发展, 2020, 期号: 2020-11, 页码: 2312-2327 作者:  冯涛;  王帅帅;  龚翔;  方君丽 收藏  |  浏览/下载：17/0  |  提交时间：2020/12/18 EtherCAT协议  FSoE  CPN  Dolev-Yao  安全评估  安全性验证   基于分层时间有色Petri网的支付协议公平性分析 期刊论文 电子与信息学报, 2009, 卷号: 31, 页码: 1445-1450 作者:  刘文琦;  顾宏 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/24 有色Petri网(CPN)  支付协议  公平性  可追究性   产品开发过程资源管理及其仿真 期刊论文 系统仿真学报, 2005, 卷号: 17, 页码: 1322-1325 作者:  祖旭;  黄洪钟;  周峰;  古莹奎 收藏  |  浏览/下载：2/0  |  提交时间：2020/01/02 资源管理  产品开发过程建模  有色Petri网  工作流仿真  CPN Tools   安全开放系统的Petri网模型 期刊论文 2005, 卷号: 22, 期号: 10, 页码: 1-2 作者:  文静华;  李祥 收藏  |  浏览/下载：3/0  |  提交时间：2020/01/05 有色Petri网  有限自动机  安全系统  Petri网模型  开放系统  模型分析方法  自动机模型  逻辑系统  CPN  严谨性