CPN

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于CPN的供应链合约的形式化验证被引量：1
《计算机科学》2023年第S01期707-713,共7页郑红 钱诗慧 刘泽润 杜渂 
2019年度上海市信息化发展(大数据发展)专项资金项目(201901043)。
智能合约的安全性对于区块链在供应链领域的应用尤为重要。目前,大多数对智能合约的形式化验证工作集中于漏洞检测,对于如何在部署上链前生成安全的智能合约的关注仍然比较少,如何有效规范地将特定领域的属性安全地映射为智能合约代码...
关键词：智能合约 形式化方法 模型检查 CPN 供应链 
基于Token选取的OpenStack单一平面网络建模方法
《计算机科学》2016年第11期66-70,106,共6页李华 邢熠 张玉荣 
国家自然科学基金项目(61163011;61262082)资助
CPN形式化建模适合为包含大量并发、通信、同步共享行为的软硬件系统建立形式模型,并完成系统功能和性能等方面的行为分析。在传统的CPN建模中,token的选取采用穷举法,由此造成生成的token数量较多、CPN模型生成的状态空间相当庞大甚至...
关键词：CPN 符号执行 token选择 OPENSTACK 单一平面网络 
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对系统的并发行为进行测试被引量：1
《计算机科学》2016年第1期218-225,共8页李华 孙涛 王显荣 邢熠 李颖杰 夏兴行 
国家自然科学基金项目(61562064;61163011;61262082);内蒙古自然科学基金项目(2012MS0922)资助
首先对基本并发行为进行CPN建模及状态空间生成,逐渐增大模型的复杂性,展示了CPN建模并发行为可能存在的状态空间快速增大问题。在保证并发覆盖的前提下,将测试序列的生成划分为3个阶段,重点讨论了覆盖并发行为的测试序列生成方法。对...
关键词：并发行为 CPN 测试序列生成 TTCN-3 
基于层次CPN的OpenFlow建模研究
《计算机科学》2014年第7期114-118,共5页李华 贺楠 董路路 吕亮亮 
国家自然基金项目:面向属性的CPN建模及On the Fly辅助的测试生成方法研究(61163011);内蒙古自然基金项目:面向网络关键软件的可信属性的形式化建模及测试方法研究(2011MS0912)资助
CPN作为一种形式化方法,得到了广泛的研究与应用,其在网络协议上和工业系统中的应用尤为突出。OpenFlow是一种新的网络交换模型,包含OpenFlow交换机和控制器。文中首先介绍了OpenFlow协议及CPN(Coloured Petri Nets),然后基于层次CPN对O...
关键词：CPN 建模 OpenFlow 
基于CPN的BPEL活动协同授权一致性检测机制研究
《计算机科学》2014年第7期81-85,共5页上超望 刘清堂 赵刚 童名文 
华中师范大学中央高校基本科研业务费项目(CCNU13A05053);教育部人文社科项目(11YJA880163);湖北省教育规划课题(2011B039);武汉市科技计划项目(2014060101010030);国家"十二五"科技支撑计划课题(2012BAD35B02)资助
BPEL访问控制机制是Web服务安全组合研究的重要内容,如何维护活动协同授权的一致性是其中的难点。通过扩展的CPN(有色Petri网)对BPEL活动协同授权执行的动态行为语义进行建模,利用可覆盖树方法分析协同授权模型状态变迁发生的序列,实现...
关键词：BPEL 组合WEB服务 活动 协同授权 CPN 一致性检测 
基于颜色Petri网的有偿交互QA系统投诉模型
《计算机科学》2014年第7期110-113,共4页李彦成 曾庆田 鲁法明 薛洁 
国家自然科学基金(61170079;61202152);公益性行业(农业)科研专项(201303107);教育部高等学校博士学科点专项科研基金(20103718110007);山东科技大学杰出青年基金(2010KYJQ101)资助
有偿交互问答(QA)系统受到越来越多的关注,但是补偿的不公平性等问题可能会引起用户的投诉。通过分析有偿交互QA系统的投诉流程,首先利用颜色Petri网对投诉流程进行形式化建模;然后使用CPN Tools对所建立的形式化模型进行验证;最后对所...
关键词：有偿交互问答系统 颜色PETRI网 投诉模型 CPN TOOLS 
一种基于CPN的BPEL异常处理逻辑的开发方法被引量：2
《计算机科学》2013年第1期150-156,共7页管华 应时 贾向阳 蒋曹清 王一兵 
国家自然科学基金项目(61070012;61070022);国家自然科学基金重点项目(91118003)资助
针对WS-BPEL在面向服务软件异常处理方面不够完善的问题,提出了一种基于着色Petri网描述的BPEL异常处理逻辑开发方法。该方法利用着色Petri网(CPN)形式化地描述BPEL的异常处理机制,建立BPEL的异常处理CPN模型,指导对BPEL的异常处理逻辑...
关键词：着色PETRI网 BPEL(Business Process EXECUTION Language) 异常处理 
基于Petri网的密码协议形式化建模被引量：1
《计算机科学》2012年第8期70-74,共5页白云莉 叶新铭 
国家自然科学基金项目(61163011);国家重点基础研究发展规划(973)项目(2007CB310702);内蒙古自然科学基金重点项目(20080404ZD20)资助
密码协议是安全共享网络资源的机制和规范,是构建网络安全环境的基石,其安全性对整个网络环境的安全起着至关重要的作用。提出了采用Colored Petri Nets(CPN,着色Petri网)分析密码协议的新方法。采用新方法对TMN协议的多次并发会话通信...
关键词：密码协议 TMN CPN 多次并发会话 
基于扩展CPN的OWL-S过程语义建模及分析方法研究被引量：4
《计算机科学》2011年第4期203-208,共6页鲍爱华 王晓璇 文艾 丁科 刘鹏 
国家863项目(2007AA092202);国家高技术研究发展计划(863计划)(2009AA12Z214);国家自然科学基金(40801060)资助
OWL-S过程语义的建模与分析是语义Web服务相关领域需要重点研究的问题。分析了目前OWL-S过程语义研究中存在的问题,提出了一种扩展的着色Petri网PM_net(过程模型网,Process Model net)来对OWL-S的过程语义进行转化与分析。结合OWL-S过...
关键词：过程语义 OWL-S 过程模型网 着色PETRI网 本体演化 语义Web 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部