CPN

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

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机系统结构x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于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 安全评估 安全性验证 
SDN全局状态视图构建及应用被引量：1
《计算机应用研究》2020年第9期2835-2839,共5页李元平 李华 赵俊岚 
国家自然科学基金资助项目(61862047);内蒙古自治区科技计划资助项目(201802028);赛尔网络下一代互联网技术创新项目(NGII20150112)。
随着云计算、大数据以及物联网的兴起,网络流量以爆炸性的速度增长,与此同时网络带宽的增长速度却无法与之相应匹配。在可预见的将来,日益增长的网络流量与缓慢增长的网络带宽之间的矛盾将长期存在。如何改变当前粗放式的网络管理手段,...
关键词：网络模型 状态视图栈 CPN Open Flow 
基于CPN的停车场收费系统建模与仿真分析
《佳木斯大学学报（自然科学版）》2019年第6期895-899,共5页郑雪文 方欢 
由于排队系统动态逻辑的缺乏及其不足的行为分析能力,为此引入了颜色网。为了解决较大型的模型及逻辑复杂的建模问题,进而要在标准的排队系统里引入合理的顶层CPN架构模型,通过CPN模型的方式对排队系统中的3个主要组成部份进行详细的描...
关键词：停车场收费系统 排队系统 CPN Tools仿真 颜色网 
基于短距离无线通信的物联网智能锁安全机制研究被引量：6
《信息网络安全》2019年第10期16-23,共8页金志刚 吴桐 李根 
国家自然科学基金[61571318];中国博士后科学基金[2016M601265]
物联网领域中应用了大量的无线通信技术,由于成本等原因,其安全问题却往往被忽视。针对短距离无线通信技术在物联网设备中暴露出来的安全性问题,文章以目前物联网领域中广泛使用的智能锁为研究对象,分析了以低功耗蓝牙为例的短距离无线...
关键词：短距离无线通信 智能锁 低功耗蓝牙 CPN 
一种使用CPN的恶意软件行为可视化自动生成方法被引量：3
《小型微型计算机系统》2019年第8期1695-1701,共7页曹宏盛 焦健 陈昕 刘其源 
网络文化与传播重点实验室开放课题项目(ICDDXN001)资助;中央引导地方科技发展专项资助项目(Z171100004717002)资助
目前针对恶意软件行为的研究主要集中在恶意软件识别上,缺乏对恶意软件的行为逻辑以及相关行为所引起的状态变化的可视化描述.本文提出了一种行为可视化自动生成的方法,该方法在目前已有的Android恶意软件行为研究的基础上,给出了Androi...
关键词：ANDROID 恶意软件 有色PETRI网 行为模型 可视化 
基于颜色Petri网的食堂窗口排队模拟仿真被引量：2
《无线互联科技》2019年第10期172-174,共3页邓雪峰 侯益明 冯灵清 
山西农业大学博士科研启动项目;项目名称:农业物联网模型检测技术研究;项目编号:2017YJ30
食堂窗口是高校中排队现象最普遍的服务窗口,在就餐高峰期容易出现排长队的情况。文章对高校食堂的4个服务窗口进行了实地的调查,发现高校食堂窗口的平均到达率为1.3,平均服务率为0.672413793,平均队长为3.741935485,在此基础上,利用CPN...
关键词：颜色PETRI网 食堂窗口 CPN TOOLS 
基于着色Petri网的舰艇指挥控制信息流建模研究被引量：10
《系统仿真学报》2019年第5期828-842,共15页周学广 吕伟栋 袁志民 
国家自然科学基金(61672531);海军工程大学自然科学基金(HGDQNJJ15 031)
针对海军舰艇指控模型复杂度高、易受人为因素干扰、复用率不高等问题,应用CPN Tools建立舰艇指挥信息流模型,通过命令信息流与反馈信息流的流动构建舰艇指挥控制模型。定义了标准的信息流结构与舰艇部位结构,较好地解决了模型重用问题...
关键词：CPN(colored PETRI net) 舰艇 指挥控制信息流 建模研究 
基于CPN的信息系统安全防护能力建模方法被引量：1
《系统仿真学报》2018年第10期3699-3709,3716,共12页陈强军 张明清 孔红山 刘小虎 邵连杰 
建模对安全防护能力评估具有重要作用。结合安全防护能力评估方法多、更新快的特点,提出了基于监测、分析和响应的安全防护能力分析框架;针对防护设备智能学习和协作交互难以建模的问题,基于CPN(Colored Petri Nets)构建了安全防护能力...
关键词：安全防护能力 分析框架 CPN 分析模型 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部