CPN

作品数：356被引量：730H指数：11
导出分析报告
相关领域：自动化与计算机技术医药卫生更多>>
相关作者：叶新铭李华朱连章杨春辉冯涛更多>>
相关机构：内蒙古大学北京交通大学华南理工大学中国石油大学（华东）更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划内蒙古自治区自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
抗去同步化的轻量级RFID双向认证协议被引量：4
《中南大学学报（自然科学版）》2015年第6期2149-2156,共8页贾庆轩 陈鹏 高欣 韦凌云 王鑫 赵兵 
国家重点基础研究发展计划(973计划)项目(2012cb724400);国家自然科学基金资助项目(61170268)~~
针对低成本RFID应用中轻量级认证协议的安全性进行研究,提出一种组合型去同步化攻击方法,该类攻击不用篡改任何协议消息,仅通过拦截、窃听、重放等攻击手段的顺序组合就能导致后台数据库/标签的共享密钥失去同步;设计一种轻量级抗去同...
关键词：射频识别技术 RFID双向认证协议 CPN形式化分析 去同步化攻击 隐私安全性 
基于Petri网的密码协议形式化建模被引量：1
《计算机科学》2012年第8期70-74,共5页白云莉 叶新铭 
国家自然科学基金项目(61163011);国家重点基础研究发展规划(973)项目(2007CB310702);内蒙古自然科学基金重点项目(20080404ZD20)资助
密码协议是安全共享网络资源的机制和规范,是构建网络安全环境的基石,其安全性对整个网络环境的安全起着至关重要的作用。提出了采用Colored Petri Nets(CPN,着色Petri网)分析密码协议的新方法。采用新方法对TMN协议的多次并发会话通信...
关键词：密码协议 TMN CPN 多次并发会话 
基于CPN的可信路由器发现协议建模与仿真分析被引量：2
《系统仿真学报》2012年第3期701-709,共9页张珺 刘靖 叶新铭 许智君 
973计划(2007CB310702);国家自然科学基金(60873242);内蒙古自然科学基金(2011MS0902;20080404ZD20);中国科学院重大科研装备研制项目(YZ200824);863计划(2009AA01A344)
为了保证终端设备能够可信高效地通过接入路由器访问互联网,提出一种可信路由器发现协议,实现安全、高效的接入路由器身份认证过程,并基于着色Petri网(Colored Petri Nets,CPNs)为该协议建立关联的功能验证模型和性能分析模型,有效集成...
关键词：接入路由器身份认证 着色PETRI网 仿真分析 协议验证 性能分析 
基于着色Petri网的联合反导作战系统建模被引量：3
《计算机工程与应用》2011年第6期235-238,共4页韩朝超 黄树彩 
国家重点基础研究发展规划(973);国家863计划资助项目~~
防空反导作战系统是一个复杂的军事系统,具有同步、并发、冲突等特点。应用着色Petri网技术对联合反TBM作战系统进行建模,符合联合反导作战系统的特点,能够有效地分析联合反导作战系统的静态结构和动态行为。分析了联合反导作战系统的...
关键词：联合反导 着色Petri网(CPN) 建模 仿真 
基于CPN的嵌入式RTOS任务调度建模被引量：4
《计算机工程》2010年第21期1-3,共3页刘经宇 朱煜 尹文生 
国家"973"计划基金资助项目(2009CB724205);国家自然科学基金资助项目(50577037);中国博士后科学基金资助项目(20080440377)
针对有色Petri网(CPN)在并行、并发、资源共享描述上的适用性,将其引入到嵌入式实时操作系统(RTOS)建模中,解决了RTOS任务调度模型中的CPU独占表述、优先级排序、抢占时间处理和周期任务实现问题。对一个优先级抢占式任务调度实例建立CP...
关键词：有色PETRI网 嵌入式实时操作系统 任务调度 
基于分层时间有色Petri网的支付协议公平性分析被引量：7
《电子与信息学报》2009年第6期1445-1450,共6页刘文琦 顾宏 
国家973规划项目(2002CB312201)资助课题
电子支付协议是一种重要的电子商务协议,公平性是其重要的安全属性之一。该文提出一种基于分层时间有色Petri网(HTCPN)的电子支付协议形式化分析方法。该方法在进行公平性分析时,充分考虑了两个环境因素:主体是否诚实和通信信道是否可靠...
关键词：有色Petri网(CPN) 支付协议 公平性 可追究性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部