CPN

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

检索结果分析

结果分析中...
选择条件:
  • 基金=国家科技支撑计划x
条 记 录,以下是1-6
视图:
排序:
有色Petri网的Android恶意代码建模方法研究
《计算机科学与探索》2017年第1期99-105,共7页李登辉 焦健 陈昕 宋亚鹏 肖庆 
国家自然科学基金;国家科技重大专项;国家科技支撑计划项目~~
针对Android平台的恶意代码分析建模一直是目前移动终端安全的研究重点,对目前常见的恶意代码进行归纳、分类和行为抽取,在对行为进行形式化描述的基础上,提出了一种基于有色Petri网(colored-Petri net,CPN)的恶意代码建模方法,使用该...
关键词:安卓系统 恶意代码 颜色Petri网(CPN) 行为建模 
EGAKA:一种面向LTE-A机器类型通信的高效组认证与密钥协商协议
《计算机科学》2016年第S1期342-347,共6页宋亚鹏 陈昕 
国家自然科学基金面上项目(61370065);国家自然科学基金青年项目(61502040);国家科技支撑计划项目(2015BAK12B03-03)资助
机器类型通信(Machine Type Communication,MTC)作为物联网的基础,有着广阔的市场和应用前景。LTE-A网络能够为MTC的发展提供有力的支持,第三代合作伙伴项目(3rd Generation Partnership Project,3GPP)已经在3GPP标准Release10中正式定...
关键词:LTE-A MTC 组认证 密钥协商 CPN 
基于CPN的BPEL活动协同授权一致性检测机制研究
《计算机科学》2014年第7期81-85,共5页上超望 刘清堂 赵刚 童名文 
华中师范大学中央高校基本科研业务费项目(CCNU13A05053);教育部人文社科项目(11YJA880163);湖北省教育规划课题(2011B039);武汉市科技计划项目(2014060101010030);国家"十二五"科技支撑计划课题(2012BAD35B02)资助
BPEL访问控制机制是Web服务安全组合研究的重要内容,如何维护活动协同授权的一致性是其中的难点。通过扩展的CPN(有色Petri网)对BPEL活动协同授权执行的动态行为语义进行建模,利用可覆盖树方法分析协同授权模型状态变迁发生的序列,实现...
关键词:BPEL 组合WEB服务 活动 协同授权 CPN 一致性检测 
列控数据传输与GSM-R越区切换发生碰撞的建模与分析被引量:6
《铁道学报》2013年第5期47-53,共7页张友兵 张波 唐涛 
国家科技支撑计划(2009BAG12A08)
在CTCS-3级列控系统中,RBC与车载ATP通过GSM-R系统传输数据,保证列车运行安全。列车在线路上高速运行时,频繁发生越区切换。如果数据传输和GSM-R越区切换发生碰撞,将导致数据丢失重传,影响行车效率甚至行车安全。本文建立了数据传输与...
关键词:CPN CTCS GSM-R 越区切换 
CPN攻击建模及警报相关性算法设计被引量:1
《重庆大学学报(自然科学版)》2011年第4期118-124,共7页杜建军 吴中福 陈明 
国家科技支撑计划资助项目(2008BAH37B04)
为提高当前入侵检测系统的预警质量和分析预测能力,用染色Petri网(colored petrinet,CPN)构造了攻击模型,系统性地设计了警报信息相关性分析算法。通过把'警报'和'攻击'作为2个不同实体参与模型运算,将目前主要采用的过滤观察信息为基...
关键词:入侵检测 染色Petri网 攻击建模 警报相关性 合作攻击 
基于扩展CPN的多源数据报警相关性
《吉林大学学报(工学版)》2009年第2期453-457,共5页刘密霞 张秋余 邹晓 余冬梅 
国家科技支撑计划项目(2006BAF01A21);甘肃省自然科学基金项目(2007GS04066;2007GS04823)
针对网络安全管理员要处理来自IDS、防火墙、防病毒软件以及漏洞扫描器等安全工具所产生的报警信息来获得计算机网络中攻击的高级描述,提出基于多源数据报警相关性的方法。首先,对CPN(Colored Petri Net)进行扩充,增加了反映安全工具报...
关键词:计算机应用 报警相关性 CPN 攻击场景 攻击动作 
检索报告 对象比较 聚类工具 使用帮助 返回顶部