CPN

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

检索结果分析

结果分析中...
选择条件：
  • 主题=形式化x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于CPN的车载网络无证书匿名认证和密钥协商方案研究被引量：1
《通信学报》2024年第6期101-116,共16页郑路 冯涛 苏春华 
国家自然科学基金资助项目(No.62162039,No.61762060);甘肃省重点研发基金资助项目(No.23YFGA0060);甘肃省优秀博士生基金资助项目(No.23JRRA837)。
为了解决现有车载网络的认证方案中普遍存在密钥托管带来的缺陷,以及没有考虑计算受限电子控制单元(ECU)轻量级部署和安全快速认证的问题,首先,针对计算不受限的ECU网络,提出了一种无双线性配对的轻量级无证书匿名认证和密钥协商方案,...
关键词：车载网络 安全协议 认证与密钥协商 有色PETRI网 形式化验证 
基于CPN的供应链合约的形式化验证被引量：1
《计算机科学》2023年第S01期707-713,共7页郑红 钱诗慧 刘泽润 杜渂 
2019年度上海市信息化发展(大数据发展)专项资金项目(201901043)。
智能合约的安全性对于区块链在供应链领域的应用尤为重要。目前,大多数对智能合约的形式化验证工作集中于漏洞检测,对于如何在部署上链前生成安全的智能合约的关注仍然比较少,如何有效规范地将特定领域的属性安全地映射为智能合约代码...
关键词：智能合约 形式化方法 模型检查 CPN 供应链 
基于CPN的智能合约交易顺序依赖漏洞的验证被引量：2
《系统仿真学报》2022年第7期1629-1638,共10页郑红 刘泽润 黄建华 钱诗慧 
国家自然科学基金(61472139);产学研项目:区块链关键技术研究(H300-41819)。
智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自...
关键词：区块链 智能合约 着色PETRI网 形式化验证 交易顺序依赖漏洞 
基于CPN的安全协议形式化建模及安全分析方法被引量：6
《通信学报》2021年第9期240-253,共14页龚翔 冯涛 杜谨泽 
国家自然科学基金资助项目(No.62162039,No.61762060);甘肃省高等学校科研基金资助项目(No.2017C-05);甘肃省科技厅重点研发计划基金资助项目(No.20YF3GA016)。
为了解决有色Petri网(CPN)对安全协议进行形式化建模分析时,仅能判断协议是否存在漏洞而无法找出漏洞具体位置和攻击路径的问题,以及CPN建模时随着攻击者模型引入,安全协议的形式化模型可能的消息路径数量激增,状态空间容易发生爆炸导...
关键词：有色PETRI网 安全协议 形式化分析 状态空间 攻击路径 
基于CPN模型Auction智能合约的形式化验证被引量：6
《小型微型计算机系统》2020年第11期2292-2297,共6页董春燕 谭良 
国家自然科学基金项目(61373162)资助;四川省科技厅重点研发项目(2019YFG0183)资助.
区块链智能合约是运行在区块链网络中的代码,它能够根据外部环境条件自动执行相应的规则,完成对应的交易和数字资产的转移.Auction合约是一个公开拍卖的智能合约,广泛应用到竞拍、游戏和博彩等行业,吸引了众多用户参与.近年来,该合约暴...
关键词：Auction智能合约 漏洞 形式化验证 CPN 
工业以太网EtherCAT协议形式化安全评估及改进被引量：8
《计算机研究与发展》2020年第11期2312-2327,共16页冯涛 王帅帅 龚翔 方君丽 
国家自然科学基金项目(61462060,61762060)。
EtherCAT协议由于具有较高的实时性和较强的性能而被广泛应用,但是随着工业以太网协议的快速发展和开放化,使得工业控制系统承受着巨大的网络攻击风险.目前有许多对工业以太网协议安全和改进的研究,但是这些研究缺乏对协议的形式化建模...
关键词：EtherCAT协议 FSoE CPN Dolev-Yao 安全评估 安全性验证 
基于有色Petri网的网络化传感系统研究被引量：3
《自动化与仪表》2015年第9期29-32,共4页程学珍 刘建航 白星振 冯翠萍 
国家自然科学基金重点项目(U1261205);中国博士后科学基金项目(2014M551934);山东省大型科学仪器设备升级改造项目(2013SJGZ05)
为提高传感器网络兼容性和互换性,构建了一种基于IEEE 1451的通用网络化传感系统模型,能够实现传感器的即插即用。基于Petri网建立模型,利用CPN Tools对其进行形式化建模、分析和验证。结果表明,该系统的有界性、活性等特性均可用,可实...
关键词：网络化传感系统 网络兼容性 IEEE1451 CPN TOOLS 形式化建模 
抗去同步化的轻量级RFID双向认证协议被引量：4
《中南大学学报（自然科学版）》2015年第6期2149-2156,共8页贾庆轩 陈鹏 高欣 韦凌云 王鑫 赵兵 
国家重点基础研究发展计划(973计划)项目(2012cb724400);国家自然科学基金资助项目(61170268)~~
针对低成本RFID应用中轻量级认证协议的安全性进行研究,提出一种组合型去同步化攻击方法,该类攻击不用篡改任何协议消息,仅通过拦截、窃听、重放等攻击手段的顺序组合就能导致后台数据库/标签的共享密钥失去同步;设计一种轻量级抗去同...
关键词：射频识别技术 RFID双向认证协议 CPN形式化分析 去同步化攻击 隐私安全性 
基于CPN的联锁系统选岔网络建模及验证被引量：1
《电气化铁道》2015年第2期43-47,共5页陶玲 宋军 
在详细分析联锁系统选岔电路的前提下,抽象出选岔网络的联锁逻辑条件,并采用有色Petri网(Colored Petri Net,CPN)为其建立形式化验证模型,同时采用CPN TOOLS对所建立的模型进行仿真及状态空间分析,结果表明所建立的模型能够很好的描述...
关键词：选岔网络 CPN 形式化 CPN TOOLS 
一种颜色Petri网的电子商务协议分析方法被引量：1
《小型微型计算机系统》2013年第11期2594-2598,共5页王宝文 卢贝 司亚利 刘文远 
河北省重大技术创新项目(09213562Z)资助;河北省自然科学基金青年科学(G2011203195)资助
针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限性三个重要安全属性.针对时限性建立了表示主体是否成功接收消息的状态颜色集和主体自定义的时间颜色集,...
关键词：形式化分析方法 电子商务协议 颜色PETRI网 CPN TOOLS KZG协议 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部