期刊文献+
共找到60篇文章
< 1 2 3 >
每页显示 20 50 100
一种基于攻击图的安全威胁识别和分析方法 被引量:33
1
作者 吴迪 连一峰 +1 位作者 陈恺 刘玉岭 《计算机学报》 EI CSCD 北大核心 2012年第9期1938-1950,共13页
业务系统安全管理需要网络攻击图来评估系统整体安全性或态势,同时又需要对那些可能严重危害系统安全的脆弱性利用威胁进行重点分析和优先处置.现有安全威胁识别和分析方法无法兼顾这两个方面,也无法处理脆弱性利用威胁分析过程中的不... 业务系统安全管理需要网络攻击图来评估系统整体安全性或态势,同时又需要对那些可能严重危害系统安全的脆弱性利用威胁进行重点分析和优先处置.现有安全威胁识别和分析方法无法兼顾这两个方面,也无法处理脆弱性利用威胁分析过程中的不确定性问题.作者提出了一种安全威胁识别和分析方法.利用颜色Petri网(CPN)定义网络攻击图,并给出了网络攻击图生成NAGG算法,根据攻击模型分析结果生成网络攻击图;给出了基于CPN仿真的网络攻击图分解NAGD算法,可一次性分解出各脆弱性利用威胁对应的子攻击图,所述子攻击图不存在循环路径且最长攻击路径不超过预设值.并给出了一种脆弱性利用威胁度评估VETE算法,将子攻击图转换为不确定性推理规则集,采用D-S证据推理计算各子攻击图所对应安全威胁的威胁度,以确定安全威胁处置优先级.最后以一个典型Web应用系统为例,验证了所述安全威胁识别和分析方法的有效性. 展开更多
关键词 攻击模型 网络攻击图 子攻击图 颜色petri 不确定性推理 D-S证据理论
下载PDF
基于区块链的物联网访问控制框架 被引量:18
2
作者 史锦山 李茹 松婷婷 《计算机应用》 CSCD 北大核心 2020年第4期931-941,共11页
物联网(IoT)中入网设备的海量性、动态性和设备轻量级是内在联系并同时存在的特征。为了同时满足上述三个特征,提出一种基于区块链的IoT访问控制(BBIAC)框架。首先提出了该框架下的BBIAC模型,在IoT授权过程中引入属性的概念以满足模型... 物联网(IoT)中入网设备的海量性、动态性和设备轻量级是内在联系并同时存在的特征。为了同时满足上述三个特征,提出一种基于区块链的IoT访问控制(BBIAC)框架。首先提出了该框架下的BBIAC模型,在IoT授权过程中引入属性的概念以满足模型对海量性的支持;而区块链自身的分布式结构和身份认证方式为该模型提供了动态性的支持;同时,区块链自身提供的安全性和多机构信任使BBIAC模型可以将需要大规模计算和存储的部分部署在区块链中,使该模型支持轻量级的IoT设备。接着,介绍了BBIAC模型完整的工作流程。然后,通过着色Perti网(CPN)对BBIAC模型进行形式化的安全性评估,证明了BBIAC模型的安全性。实验结果表明,BBIAC适用于具有海量性、动态性和设备轻量级特征的IoT环境。 展开更多
关键词 访问控制 区块链 物联网 属性 着色petri
下载PDF
基于近场通信认证的无线局域网无线接入协议的安全性设计 被引量:12
3
作者 李云 陈庞森 孙山林 《计算机应用》 CSCD 北大核心 2016年第5期1236-1245,共10页
针对基于近场通信(NFC)认证的无线局域网(WLAN)无线接入协议点对点通信模式存在的问题,如明文传输、用户接入匿名性、数据易于被窃听、易于被篡改等,提出基于NFC认证的WLAN无线接入协议安全性的设计。该协议采用Diffie-Hellman密钥交换... 针对基于近场通信(NFC)认证的无线局域网(WLAN)无线接入协议点对点通信模式存在的问题,如明文传输、用户接入匿名性、数据易于被窃听、易于被篡改等,提出基于NFC认证的WLAN无线接入协议安全性的设计。该协议采用Diffie-Hellman密钥交换算法与第二代安全散列算法(SHA)建立安全隧道来完成随机信息的交换;采用椭圆曲线数字签名算法来消除用户的匿名性。从协议需求分析、架构设计与协议时序步骤三个方面入手,给出了一个计算机上的原型实现。通过有色Petri网(CPN)建模,实验仿真结果表明:基于NFC认证的WLAN接入协议对于无线局域网的非法接入攻击与窃听攻击有着良好的抵抗效果。 展开更多
关键词 近场通信 无线局域网 有色petri 椭圆曲线数字签名算法
下载PDF
基于着色Petri网的工作流建模 被引量:6
4
作者 陈翔 刘军丽 《计算机工程》 EI CAS CSCD 北大核心 2006年第8期86-88,共3页
为了提高工作流模型的适应性,通过建立统一的资源管理器模型,解决了工作流网的资源分配问题,得到了一致的资源请求和资源释放过程。在引入着色Petri网的基础上,得到更加容易控制和计算机化的着色工作流网模型。最后,定义并将适合于工作... 为了提高工作流模型的适应性,通过建立统一的资源管理器模型,解决了工作流网的资源分配问题,得到了一致的资源请求和资源释放过程。在引入着色Petri网的基础上,得到更加容易控制和计算机化的着色工作流网模型。最后,定义并将适合于工作流的事件-条件-动作规则引入着色工作流网,提出了基于ECA原语的工作流模型描述机制。 展开更多
关键词 工作流模型 着色petri 着色工作流网 事件-条件-动作规则
下载PDF
基于着色Petri网的舰艇指挥控制信息流建模研究 被引量:9
5
作者 周学广 吕伟栋 袁志民 《系统仿真学报》 CAS CSCD 北大核心 2019年第5期828-842,共15页
针对海军舰艇指控模型复杂度高、易受人为因素干扰、复用率不高等问题,应用CPN Tools建立舰艇指挥信息流模型,通过命令信息流与反馈信息流的流动构建舰艇指挥控制模型。定义了标准的信息流结构与舰艇部位结构,较好地解决了模型重用问题... 针对海军舰艇指控模型复杂度高、易受人为因素干扰、复用率不高等问题,应用CPN Tools建立舰艇指挥信息流模型,通过命令信息流与反馈信息流的流动构建舰艇指挥控制模型。定义了标准的信息流结构与舰艇部位结构,较好地解决了模型重用问题,提高了模型的适用范围。信息流的真实性保证了模型的客观性,从模型层面提高了指控系统与舰艇实际的贴合程度。 展开更多
关键词 cpn(colored petri net) 舰艇 指挥控制信息流 建模研究
下载PDF
着色Petri网模型检测工具的扩展及其在Web服务组合中的应用 被引量:8
6
作者 门鹏 段振华 《计算机研究与发展》 EI CSCD 北大核心 2009年第8期1294-1303,共10页
Web服务组合的形式化描述和验证是一个重要的研究问题.为了更好地完成验证工作,提出了扩展着色Petri网的模型检测方法.首先,在着色Petri网原有的基于CTL的局部模型检测算法基础上,给出了获取模型检测证据/反例的算法,并在着色Petri网模... Web服务组合的形式化描述和验证是一个重要的研究问题.为了更好地完成验证工作,提出了扩展着色Petri网的模型检测方法.首先,在着色Petri网原有的基于CTL的局部模型检测算法基础上,给出了获取模型检测证据/反例的算法,并在着色Petri网模型检测工具——CPNTools——中使用ML(metalanguage)语言实现了这些算法,然后将扩展后的CPN模型检测工具应用在Web服务组合的验证问题中.该方法不仅可以验证Web服务组合是否存在逻辑错误,还能告诉用户发生错误的原因,为Web服务组合的验证提供了技术上的保障.实验表明对着色Petri网的模型检测工具的扩展是正确、有效的. 展开更多
关键词 着色petri WEB服务组合 形式化验证 模型检测 时序逻辑
下载PDF
柔性制造系统实时调度的有色Petri网和状态方程模型 被引量:5
7
作者 宋安华 《计算机学报》 EI CSCD 北大核心 1991年第11期819-827,共9页
柔性制造系统(FMS)的实时调度问题是一个典型的并发系统(CA),亦称为离散事件动态系统(DEDS).这是一类很复杂的动态系统,本文尝试用Petri网和有色Petri网对FMS的实时调度问题建立动态模型并同时给出了代数形式的状态方程模型.
关键词 柔性制造系统 petri 调度 机床
下载PDF
基于有色Petri网的网格调度模型的研究 被引量:4
8
作者 胡志刚 陈华全 谌任 《计算机工程》 CAS CSCD 北大核心 2006年第18期67-69,共3页
有色Petri网(CPN)是一种高级网系统,可以为系统建模提供强有力的支持。该文介绍了CPN的基本概念和建模特性,在研究目前网格调度环境的基础上,提出了网格调度的CPN模型。
关键词 网格 调度模型 有色petri 状态空间
下载PDF
基于CPN Tools的电信业务建模及其应用 被引量:3
9
作者 王嘉辉 陆以勤 利文乐 《计算机工程》 EI CAS CSCD 北大核心 2006年第14期221-223,共3页
提出了一种对电信业务流程建立基于着色Petri网模型的方法。该方法基于网元分层结构,使业务在建模后能方便地进行各业务的集成,从而可以进行业务间交互的离线检测。根据上述方法,应用CPN Tools作工具,对若干电信业务进行建模,并利用CPN ... 提出了一种对电信业务流程建立基于着色Petri网模型的方法。该方法基于网元分层结构,使业务在建模后能方便地进行各业务的集成,从而可以进行业务间交互的离线检测。根据上述方法,应用CPN Tools作工具,对若干电信业务进行建模,并利用CPN Tools的仿真功能,对业务之间的冲突作了检测。该建模和仿真方法对业务冲突的离线检测有一定的参考价值。 展开更多
关键词 着色petri 业务建模 业务冲突
下载PDF
列控数据传输与GSM-R越区切换发生碰撞的建模与分析 被引量:6
10
作者 张友兵 张波 唐涛 《铁道学报》 EI CAS CSCD 北大核心 2013年第5期47-53,共7页
在CTCS-3级列控系统中,RBC与车载ATP通过GSM-R系统传输数据,保证列车运行安全。列车在线路上高速运行时,频繁发生越区切换。如果数据传输和GSM-R越区切换发生碰撞,将导致数据丢失重传,影响行车效率甚至行车安全。本文建立了数据传输与... 在CTCS-3级列控系统中,RBC与车载ATP通过GSM-R系统传输数据,保证列车运行安全。列车在线路上高速运行时,频繁发生越区切换。如果数据传输和GSM-R越区切换发生碰撞,将导致数据丢失重传,影响行车效率甚至行车安全。本文建立了数据传输与越区切换发生碰撞模型,利用该模型可以评估影响碰撞概率的因素,可以验证本文给出的计算碰撞概率公式,还可研究碰撞时间的分布情况。首先,通过模型仿真,发现数据长度、列车运行速度、数据发送周期均会影响碰撞的发生概率。数据长度越长,列车运行速度越高,数据发送周期越短,则数据传输与越区切换发生碰撞的概率越高。其次,利用'数据传输与越区切换发生碰撞模型'仿真出的碰撞概率与本文给出的碰撞概率计算公式计算出的理论值基本相同,证明了模型和公式的准确性。最后,利用碰撞模型仿真,研究碰撞时间的分布情况,并得到一些定性结论。 展开更多
关键词 cpn CTCS GSM-R 越区切换
下载PDF
用影响网分析复杂系统关键事件 被引量:6
11
作者 杨翠蓉 王明哲 廖晶静 《应用科学学报》 EI CAS CSCD 北大核心 2010年第6期639-645,共7页
为分析复杂系统关键事件,将系统事件序列图转换为影响网图,通过着色Petri网进行建模和仿真,采用影响网分析系统事件的敏感性并搜索关键事件集合.统计着色Petri网模型的仿真输出结果,得出事件发生的条件概率和基准概率,将影响强度与条件... 为分析复杂系统关键事件,将系统事件序列图转换为影响网图,通过着色Petri网进行建模和仿真,采用影响网分析系统事件的敏感性并搜索关键事件集合.统计着色Petri网模型的仿真输出结果,得出事件发生的条件概率和基准概率,将影响强度与条件概率值的关系线性化,从而推算出影响强度.该方法避免了影响强度、基准概率等参数由专家指定存在的主观性.以弹道导弹防御系统为例进行分析,结果表明所述方法直观实用,对复杂系统的决策有一定的参考价值. 展开更多
关键词 仿真模型 关键事件 着色petri 影响网 影响强度
下载PDF
基于通信的列车运行控制系统安全通信协议的性能分析 被引量:6
12
作者 陈黎洁 黄银霞 +2 位作者 刘宏杰 Eckehard Schnieder 高莺 《铁道学报》 EI CAS CSCD 北大核心 2017年第5期71-77,共7页
安全通信协议是保证基于通信的列车运行控制系统中通信安全的主要因素,其性能分析具有重要意义。针对基于通信的列车运行控制系统安全通信协议,选择分层赋时有色Petri网(CPN)对其进行研究,建立状态转换模型与包含数据延时和信道故障的模... 安全通信协议是保证基于通信的列车运行控制系统中通信安全的主要因素,其性能分析具有重要意义。针对基于通信的列车运行控制系统安全通信协议,选择分层赋时有色Petri网(CPN)对其进行研究,建立状态转换模型与包含数据延时和信道故障的模型,通过改变数据延时的概率和信道无故障的概率,对安全通信协议的稳定性和失效率进行仿真,仿真结果对安全通信协议的设计有一定的参考意义,用概率论与数理统计知识对仿真结果进行分析,分析结果体现数据延时和信道故障是如何影响安全通信协议的性能的。分析结果表明基于通信的列车运行控制系统安全通信协议是合理的。 展开更多
关键词 基于通信的列车运行控制系统 安全通信协议 有色petri 概率论 数理统计
下载PDF
基于有色Petri网的CAN总线仿真与性能分析 被引量:6
13
作者 宋小庆 任维彬 +1 位作者 陈克伟 熊全谦 《装甲兵工程学院学报》 2011年第1期74-78,共5页
针对CAN总线的多主竞争模式通过解析法难以建模这一问题,运用CPN Tools工具构建了基于有色Petri网的CAN总线CSMA/CA竞争机制模型,模拟了CAN总线的静态结构和动态行为,对CAN总线性能进行了仿真与分析。仿真结果验证了所建CAN总线模型的... 针对CAN总线的多主竞争模式通过解析法难以建模这一问题,运用CPN Tools工具构建了基于有色Petri网的CAN总线CSMA/CA竞争机制模型,模拟了CAN总线的静态结构和动态行为,对CAN总线性能进行了仿真与分析。仿真结果验证了所建CAN总线模型的合理性与正确性。 展开更多
关键词 有色petri CAN总线 仿真 性能分析
原文传递
融合指纹识别的NFC智能锁安全协议设计 被引量:6
14
作者 汪生 金志刚 解冰珊 《计算机应用》 CSCD 北大核心 2019年第A01期109-112,共4页
针对现有智能锁的身份认证安全性薄弱等问题,设计了通过加密NFC信道传输并融合指纹识别的用户认证机制。首先,建立了BLE信道的安全分析平台,根据ofo开锁过程分析了无线智能锁的通信机制的弱点,截取的BLE通信数据表明,关键的鉴权与开锁... 针对现有智能锁的身份认证安全性薄弱等问题,设计了通过加密NFC信道传输并融合指纹识别的用户认证机制。首先,建立了BLE信道的安全分析平台,根据ofo开锁过程分析了无线智能锁的通信机制的弱点,截取的BLE通信数据表明,关键的鉴权与开锁指令等信息未加密;然后,通过重放鉴权信息揭示了代表性的安全威胁;最后,为了实现基于真实身份的认证,基于指纹特征,提出了轻量级的安全机制,并通过CPN分析该机制接入攻击下的安全性。模型分析与仿真实验表明,新协议通过NFC进行信息交互和指纹识别保证用户身份,提供了安全性与使用的方便性。 展开更多
关键词 智能锁 指纹 近距离无线通信 身份认证 着色petri 鉴权
下载PDF
基于有色Petri网的产品协同开发过程建模方法研究 被引量:5
15
作者 王啸峰 卞致瑞 《工程设计学报》 CSCD 北大核心 2010年第2期91-97,共7页
产品协同开发过程具有层次性、分布性、离散性和动态性等特点,采用合理方法构建其有效的过程模型成为协同开发过程管理与优化的基础性条件.将有色Petri网(CPN)技术引入产品协同开发过程建模中,针对性地提出了产品协同开发过程CPN模型的... 产品协同开发过程具有层次性、分布性、离散性和动态性等特点,采用合理方法构建其有效的过程模型成为协同开发过程管理与优化的基础性条件.将有色Petri网(CPN)技术引入产品协同开发过程建模中,针对性地提出了产品协同开发过程CPN模型的描述性定义;并从协同开发特点出发,为支持基本过程逻辑的描述由工作流原语定义了基本网模型结构;为了描述复杂协同关系,结合模块化方法及库所变迁性质给出了扩展网模型结构的构建方法.该方法实现了将协同开发过程关系从基本到复杂都能映射到相应CPN网上,并通过实例进一步说明了该方法的有效性. 展开更多
关键词 有色petri 产品协同开发 过程建模方法
下载PDF
基于有色Petri网的综电系统总线建模 被引量:3
16
作者 吴松平 宋小庆 +2 位作者 李年裕 宋杰 邹勇 《装甲兵工程学院学报》 2008年第5期62-65,73,共5页
针对运用解析法对战车电子系统总线进行建模和分析困难这一问题,运用CPN Tools工具构建了基于有色Petri网的综合电子系统总线模型,建立了总线性能仿真平台,对某型战车总线性能进行了分析。结果验证了基于CPN的战车综合电子系统总线建模... 针对运用解析法对战车电子系统总线进行建模和分析困难这一问题,运用CPN Tools工具构建了基于有色Petri网的综合电子系统总线模型,建立了总线性能仿真平台,对某型战车总线性能进行了分析。结果验证了基于CPN的战车综合电子系统总线建模的正确性与可行性。 展开更多
关键词 有色petri网(cpn) 综合电子系统 1553B cpn TOOLS
原文传递
基于CPN的嵌入式RTOS任务调度建模 被引量:4
17
作者 刘经宇 朱煜 尹文生 《计算机工程》 CAS CSCD 北大核心 2010年第21期1-3,共3页
针对有色Petri网(CPN)在并行、并发、资源共享描述上的适用性,将其引入到嵌入式实时操作系统(RTOS)建模中,解决了RTOS任务调度模型中的CPU独占表述、优先级排序、抢占时间处理和周期任务实现问题。对一个优先级抢占式任务调度实例建立CP... 针对有色Petri网(CPN)在并行、并发、资源共享描述上的适用性,将其引入到嵌入式实时操作系统(RTOS)建模中,解决了RTOS任务调度模型中的CPU独占表述、优先级排序、抢占时间处理和周期任务实现问题。对一个优先级抢占式任务调度实例建立CPN模型,结果表明该模型能有效反映RTOS系统的动态特性,准确定量模拟出RTOS系统的效率、切换频率指标。 展开更多
关键词 有色petri 嵌入式实时操作系统 任务调度
下载PDF
AADL2ECPN模型转换方法及其在IMA上的应用 被引量:3
18
作者 刘畅 谷涛 +2 位作者 周庆 王世海 李泽林 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2016年第9期1884-1891,共8页
在综合模块化航空电子(IMA)系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言(AADL)模型到扩展着色Petri网(ECPN)模型的转换规则,将AADL模型转换为ECPN模型,... 在综合模块化航空电子(IMA)系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言(AADL)模型到扩展着色Petri网(ECPN)模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。 展开更多
关键词 架构分析和设计语言(AADL) 着色petri网(cpn) 资源分配 综合模块化航空电子(IMA) 模型转换
下载PDF
着色Petri网在科技计划项目管理系统建模中的应用 被引量:3
19
作者 张方田 王开义 +1 位作者 隋静 孙桂川 《计算机应用》 CSCD 北大核心 2009年第B12期396-398,400,共4页
在深入研究科技计划项目管理业务基础上,鉴于Petri网的特点,提出了利用着色Petri网建模科技计划项目管理系统的方法。分析了着色Petri网适合于系统建模的原因,以项目管理评审环节为例讨论了着色Petri网在建模中的应用,并建立了基于着色P... 在深入研究科技计划项目管理业务基础上,鉴于Petri网的特点,提出了利用着色Petri网建模科技计划项目管理系统的方法。分析了着色Petri网适合于系统建模的原因,以项目管理评审环节为例讨论了着色Petri网在建模中的应用,并建立了基于着色Petri网的系统模型。通过对该模型的分析仿真结果表明,该方法是可行和有效的。 展开更多
关键词 着色petri 建模 项目管理
下载PDF
MODELING RADIO RESOURCE MANAGEMENT IN COGNITIVE RADIO SYSTEM BASED ON OFDMA USING COLORED PETRI NET 被引量:2
20
作者 Lu Yanhui Zhang Yuqiong Yang Shouyi Mu Xiaomin 《Journal of Electronics(China)》 2010年第5期671-676,共6页
Cognitive Radio(CR) system based on Orthogonal Frequency Division Multiple Access(OFDMA),such as Wireless Regional Area Networks(WRAN) and Worldwide Interoperability for Microwave Access(WiMAX),often attempt to improv... Cognitive Radio(CR) system based on Orthogonal Frequency Division Multiple Access(OFDMA),such as Wireless Regional Area Networks(WRAN) and Worldwide Interoperability for Microwave Access(WiMAX),often attempt to improve performance via dynamic radio resource management,which is characterized as concurrent processing of different traffic and nondeterministic system capacity.It is essential to design and evaluate such complex system using proper modeling and analysis tools.In the previous work,most of the communication systems were modeled as Markov Chain(MC) and Stochastic Petri Nets(SPN),which have the explicit limitation in evaluating adaptive OFDMA CR system with wide area traffic.In this paper,we develop an executable top-down hier-archical Colored Petri Net(CPN) model for adaptive OFDMA CR system,and analyze its performance using CPN tools.The results demonstrate that the CPN can model different radio resource manage-ment algorithms in CR Systems,and the CPN tools require less computational effort than Markov model using Matlab,with its flexibility and adaptability to the traffics which arrival interval and processing time are not exponentially distributed. 展开更多
关键词 Cognitive Radio (CR) Dynamic Radio Resource Management (RRM) colored petri net (cpn) Modeling and evaluation
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部