云南高校图书馆联盟文献共享服务平台- CPN

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

基于CPN的敏捷开发业务流程建模方法: 《智能计算机与应用》2024年第8期78-84,共7页严志超倪枫刘文诚刘姜陈年年周兴郡; 国家自然科学基金(12371508);教育部产学合作协同育人项目(220603760210846);上海市“大学生创新创业训练计划”(SH2022072)。; 着色petri网(Colored Petri Net,CPN)建模面对大型系统时的复杂性可能会随着系统规模的增大而显著增加,通常需要较多的时间和资源。敏捷开发的方法可以通过迭代和增量的方式,将大型系统分解为多个小模块,从简化模型出发逐步增加复杂性,...; 关键词：着色PETRI网敏捷开发需求管理租车系统

基于CPN的供应链合约的形式化验证被引量：1: 《计算机科学》2023年第S01期707-713,共7页郑红钱诗慧刘泽润杜渂; 2019年度上海市信息化发展(大数据发展)专项资金项目(201901043)。; 智能合约的安全性对于区块链在供应链领域的应用尤为重要。目前,大多数对智能合约的形式化验证工作集中于漏洞检测,对于如何在部署上链前生成安全的智能合约的关注仍然比较少,如何有效规范地将特定领域的属性安全地映射为智能合约代码...; 关键词：智能合约形式化方法模型检查 CPN 供应链

基于i-BPMN业务架构的CPN可执行建模方法: 《应用数学进展》2023年第2期550-562,共13页周宇秀倪枫刘姜肖云天朱佳怡; BPMN (Business Process Model and Notation)已成为企业业务架构的主流框架标准。但由于其本身存在的局限性,对业务架构描述存在不足,且无法对业务架构的动态特性进行分析,因此,对于现有的基于TOGAF中ACF元模型提出一种完整覆盖业务架...; 关键词：BPMN CPN 业务架构建模方法

基于CPN的智能合约交易顺序依赖漏洞的验证被引量：2: 《系统仿真学报》2022年第7期1629-1638,共10页郑红刘泽润黄建华钱诗慧; 国家自然科学基金(61472139);产学研项目:区块链关键技术研究(H300-41819)。; 智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自...; 关键词：区块链智能合约着色PETRI网形式化验证交易顺序依赖漏洞

基于改进的GEP-CPN模型的预测终端行为架构: 《电声技术》2022年第2期125-128,共4页罗锦光苏锦; 广西高校中青年教师科研基础能力提升项目“基于GEP-CPN的可信网络终端行为关键技术研究”(No.2020KY41018)。; 可信网络终端数据具有不确定性、复杂的特性,导致评估结果具有片面性,同时缺乏安全可靠的数据采集机制,评估结果无法揭露恶意用户经过篡改或伪装数据,使得服务提供者通过评估结果来辨识服务的可信度不可靠。针对以上问题,在GEP-CPN模型...; 关键词：可信网络终端行为区块链神经网络

Functional safety verification and performance measurement of train-train communication link: 《Journal of Measurement Science and Instrumentation》2021年第4期463-471,共9页LIN Junting XU Qian CHEN Yong; National Natural Science Foundation of China(No.61963023)。; The short-range wireless communication technology has advanced considerably and provides the feasibility of train-train(T2T)communication link in the communication-based train control system.The introduction of the T2...; 关键词：functional safety formal methods colored Petri net(CPN) state space analysis performance measurement

基于CPN的安全协议形式化建模及安全分析方法被引量：6: 《通信学报》2021年第9期240-253,共14页龚翔冯涛杜谨泽; 国家自然科学基金资助项目(No.62162039,No.61762060);甘肃省高等学校科研基金资助项目(No.2017C-05);甘肃省科技厅重点研发计划基金资助项目(No.20YF3GA016)。; 为了解决有色Petri网(CPN)对安全协议进行形式化建模分析时,仅能判断协议是否存在漏洞而无法找出漏洞具体位置和攻击路径的问题,以及CPN建模时随着攻击者模型引入,安全协议的形式化模型可能的消息路径数量激增,状态空间容易发生爆炸导...; 关键词：有色PETRI网安全协议形式化分析状态空间攻击路径

一种基于TPM的手机第三方安全移动支付协议: 《高技术通讯》2021年第6期581-588,共8页刘永磊金志刚郝琨张伟龙; 国家自然科学基金(61902273)资助项目。; 为解决in-APP第三方支付中密钥泄漏、信息显示不全、商家APP缺乏预信任等问题,采用着色Petri网(CPN)模型对现有的订单篡改、通知假冒、订单替换、非授权查询4种攻击进行建模分析,并通过推导不安全状态的可达性验证in-APP第三方支付系统...; 关键词：电子商务移动支付第三方着色Petri网(CPN) 可信计算模块(TPM)

基于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 安全评估安全性验证

CPN