CPN

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

检索结果分析

结果分析中...
选择条件：
  • 主题=有色PETRI网x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于CPN的车载网络无证书匿名认证和密钥协商方案研究被引量：1
《通信学报》2024年第6期101-116,共16页郑路 冯涛 苏春华 
国家自然科学基金资助项目(No.62162039,No.61762060);甘肃省重点研发基金资助项目(No.23YFGA0060);甘肃省优秀博士生基金资助项目(No.23JRRA837)。
为了解决现有车载网络的认证方案中普遍存在密钥托管带来的缺陷,以及没有考虑计算受限电子控制单元(ECU)轻量级部署和安全快速认证的问题,首先,针对计算不受限的ECU网络,提出了一种无双线性配对的轻量级无证书匿名认证和密钥协商方案,...
关键词：车载网络 安全协议 认证与密钥协商 有色PETRI网 形式化验证 
车载TBTC-CBTC系统降级场景下的CPN建模与仿真
《计算机工程》2022年第7期189-198,共10页汪小勇 董德存 欧冬秀 
国家自然科学基金(52172329);国家重点研发计划(2018YFB1201403);上海市自然科学基金(22ZR1422200)。
基于轨道电路的列车控制(TBTC)-基于通信的列车控制(CBTC)双模车载系统是实现轨道交通多网融合的关键,其模式间切换具有较强的随机性和并发性,并直接影响车载信号系统的运营可用性。然而,车载信号系统故障降级导致轨道交通资源利用率降...
关键词：多模列控系统 基于轨道电路的列车控制-基于通信的列车控制系统 有色PETRI网 车载信号降级 运营可用性 
基于CPN的安全协议形式化建模及安全分析方法被引量：6
《通信学报》2021年第9期240-253,共14页龚翔 冯涛 杜谨泽 
国家自然科学基金资助项目(No.62162039,No.61762060);甘肃省高等学校科研基金资助项目(No.2017C-05);甘肃省科技厅重点研发计划基金资助项目(No.20YF3GA016)。
为了解决有色Petri网(CPN)对安全协议进行形式化建模分析时,仅能判断协议是否存在漏洞而无法找出漏洞具体位置和攻击路径的问题,以及CPN建模时随着攻击者模型引入,安全协议的形式化模型可能的消息路径数量激增,状态空间容易发生爆炸导...
关键词：有色PETRI网 安全协议 形式化分析 状态空间 攻击路径 
基于运营场景的跨界临时限速CPN建模分析
《铁道通信信号》2019年第8期19-22,共4页马磊 
介绍了跨界临时限速(TSR)的运营场景,分析了一起跨界临时限速取消失败的故障案例,通过CPN模型对故障状态进行建模,并对模型的场景进行融合,得出了故障状态转移链,提高了故障分析的效率,验证了修正接口方案的正确性与安全性。
关键词：临时限速服务器 跨界临时限速 有色PETRI网 场景融合 
一种使用CPN的恶意软件行为可视化自动生成方法被引量：3
《小型微型计算机系统》2019年第8期1695-1701,共7页曹宏盛 焦健 陈昕 刘其源 
网络文化与传播重点实验室开放课题项目(ICDDXN001)资助;中央引导地方科技发展专项资助项目(Z171100004717002)资助
目前针对恶意软件行为的研究主要集中在恶意软件识别上,缺乏对恶意软件的行为逻辑以及相关行为所引起的状态变化的可视化描述.本文提出了一种行为可视化自动生成的方法,该方法在目前已有的Android恶意软件行为研究的基础上,给出了Androi...
关键词：ANDROID 恶意软件 有色PETRI网 行为模型 可视化 
基于UML和CPN的列控系统等级转换建模与分析被引量：1
《计算机应用研究》2019年第1期140-143,16,共5页朱爱红 宋丽梅 
国家自然科学基金资助项目(61661027)
针对列控系统的安全性和实时性要求,基于CTCS-3级列控系统需求规范中等级转换场景建立C2级向C3级转换的UML(统一建模语言)模型和有色Petri网(CPN)模型,分析了影响列车安全运行和行车效率的因素,即转换时长和转换成功率,验证了该建模方...
关键词：中国列车控制系统 等级转换 统一建模语言 有色PETRI网 建模 
基于CPN的列控系统等级转换建模与分析被引量：6
《计算机工程与应用》2018年第2期208-213,共6页董健 戴胜华 
科技部"科技支撑计划"(No.2013BAG19B00-03-01-01)
在高速列车运行过程中,列控系统等级转换过程所用的时长和转换成功概率,直接影响列车运行安全和行车效率。利用有色Petri网对CTCS-3级列控系统和CTCS-2级列控系统之间等级转换以及典型设备故障导致降级场景分别建模,模拟等级转换过程中R...
关键词：中国列车控制系统(CTCS) 有色PETRI网 等级转换 
基于CI-CPN的在役飞机构型数据模型研究被引量：2
《航空维修与工程》2018年第1期69-74,共6页徐建新 胡谍 蔡舒妤 
中央高校基本科研业务费项目;中国民航大学专项资助(No.3122017026)
为了对海量的在役飞机构型数据进行有效的组织和管理,提出一种在役飞机维修构型数据管理的混合式产品结构,以此为核心带动在役阶段的构型数据管理工作。以ERJ190飞机为例,给出了基于此模型的产品结构;利用有色Petri网原理建立在役飞机...
关键词：数据结构 构型项 有色PETRI网 构型管理 
基于CPN状态空间分析的复杂系统脆性度量
《计算机应用研究》2017年第11期3247-3250,共4页冯丽萍 彭其渊 文超 
高速铁路基础研究联合基金项目(U1234206);国家自然科学基金资助项目(61503311)
为进一步解决复杂系统脆性理论既有研究工具存在的系统状态定量描述困难、系统边界条件约束较多等问题,将有色Petri网及其仿真工具CPN Tools引入到复杂系统脆性度量研究中。有色Petri网及CPN Tools内置的查询工具、既有的高级状态空间...
关键词：复杂系统 脆性度量 有色PETRI网 CPN TOOLS 状态空间 
有色Petri网的Android恶意代码建模方法研究
《计算机科学与探索》2017年第1期99-105,共7页李登辉 焦健 陈昕 宋亚鹏 肖庆 
国家自然科学基金;国家科技重大专项;国家科技支撑计划项目~~
针对Android平台的恶意代码分析建模一直是目前移动终端安全的研究重点,对目前常见的恶意代码进行归纳、分类和行为抽取,在对行为进行形式化描述的基础上,提出了一种基于有色Petri网(colored-Petri net,CPN)的恶意代码建模方法,使用该...
关键词：安卓系统 恶意代码 颜色Petri网(CPN) 行为建模 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部