通信顺序进程

作品数：58被引量：135H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：赵岭忠沈苏彬钱俊彦吴名欢程小辉更多>>
相关机构：桂林电子科技大学国防科学技术大学南京邮电学院中国科学院更多>>
相关期刊：《铁道通信信号》《计算机学报》《系统仿真学报》《铁路计算机应用》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
SDN网络边缘交换机异常检测方法被引量：1
《计算机科学》2023年第1期362-372,共11页赵扬 伊鹏 张震 胡涛 刘少勋 
河南省重大科技专项(智能网联汽车内生安全关键技术研究及示范应用2022012);国家自然科学基金(61872382,62101598,61521003)。
软件定义网络(SDN)为网络赋予了可编程性,降低了网络管理的复杂性,促进了新型网络技术的发展。SDN交换机作为数据转发与策略执行的设备,其权限不应被未经授权的实体窃取。然而,SDN交换机并不总是执行控制器下发的命令,恶意攻击者通过侵...
关键词：软件定义网络 数据平面安全 形式化认证与分析 通信顺序进程 受损交换机检测 
基于通信顺序进程的Android程序复杂信息流分析方法
《网络与信息安全学报》2021年第5期156-168,共13页袁占慧 杨智 张红旗 金舒原 杜学绘 
国家自然科学基金(62176265,61972040)。
Android隐私泄露问题日益严重,信息流分析是发现隐私泄露的一种主要方法。传统信息流分析方法以单一可达性分析为主,难以分析复杂信息流。提出一种基于通信顺序进程的信息流分析方法,建立应用程序行为的形式化模型,从而全面刻画程序信...
关键词：安卓 信息流分析 隐私防护 形式化分析 通信顺序进程 
Powerlink协议异步调度机制的建模与分析被引量：2
《计算机工程与应用》2019年第17期259-265,共7页陈睿 庞海萍 郝丽 厉达 杨栋 
针对通信协议进行形式化建模与分析,能够很大程度上提高工控协议的安全性。通过分析开源实时以太网Powerlink的同步、异步阶段的不同通信行为,以及在同步阶段的不同通信模式,提出一种利用CSP(Communication Sequential Process)语言对Po...
关键词：POWERLINK 通信顺序进程(CSP) 建模 验证 流程分析工具箱(PAT) 
一种设计通信顺序进程通道服务的方法
《上海电机学院学报》2019年第4期245-248,共4页赵扬 
当前金融机构正在寻求使用区块链技术重构关键性应用软件。通常,设计者引用通信顺序进程(CSP)库去构建这些软件,便可方便套用CSP模型去验证软件在并发通信过程中的安全性。然而,在现有的CSP库中,通道以面向对象方式被抽象、设计和实现,...
关键词：Kademlia覆盖网络 通信顺序进程(CSP)通道 进程同步通信 
基于CSP的CTCS-1级列控系统RDC数据验证的研究
《铁路计算机应用》2019年第7期52-58,共7页卢铃冉 张勇 
国家自然科学基金重点项目(6149700015);中国铁路总公司科技研究开发计划(2015X002-A)
区域列控数据中心(RDC)作为CTCS-1级列控系统地面设备的核心部分,为车载设备提供线路数据、临时限速信息、进路信息等,因此,RDC数据的正确性对列车正常运行至关重要。通过对RDC所包含的静态数据进行分析,总结出数据应满足的约束条件,以...
关键词：CTCS-1 区域列控数据中心(RDC) 数据验证 通信顺序进程(CSP) 
基于CSP的多线程自动建模及死锁检测研究被引量：4
《现代电子技术》2019年第12期57-61,共5页高飞 武淑红 王耀力 
全国工程专业学位研究生教育指导委员会立项项目(2016-ZX-095);山西省应用基础研究项目(201801D121141)~~
并发模型分析主要用于业务流程逻辑验证,并不能很好支持多线程程序建模。目前大部分研究主要针对Java程序的死锁检测,对于使用POSIX线程库开发的C语言程序研究并不多。为了检测POSIX线程库开发的C语言程序是否存在死锁问题,提出一种对...
关键词：多线程建模 死锁检测 语义转换 形式化验证 通信顺序进程 过程分析 
协同业务过程的随机行为分析方法
《计算机工程与应用》2019年第3期245-251,265,共8页赵莹 潘华 孙金艳 莫启 代飞 
国家自然科学基金(No.61462095;No.61702442);云南省自然科学基金(No.2016FB102)
参与组织随机行为是评价业务协同有效实施的一个关键因素。结合进程代数和马尔科夫链,提出了一种协同业务过程的随机行为分析方法。首先,使用有限状态自动机建模每个参与组织的业务过程,通过引入异步消息通信关系定义协同业务过程。其次...
关键词：协同业务过程 异步消息通信 随机行为 通信顺序进程(CSP) 马尔科夫链 
基于通信顺序进程与B方法的CBTC计算机联锁系统的形式化建模与验证被引量：9
《中国铁道科学》2018年第3期101-109,共9页王鲲 
中国铁路总公司科技研究开发计划项目(J2016X001);中国铁道科学研究院行业服务技术创新项目(2016YJ053)
针对CBTC联锁系统的复杂性,提出一种基于通信顺序进程(CSP)与B方法集成的形式化方法,即在通信顺序进程的通信事件与B方法抽象机的操作之间建立起一对一的映射关系,实现通信事件通过控制抽象机的操作、进而影响抽象机状态的目标,从而实...
关键词：城市轨道交通 CBTC 计算机联锁系统 形式化方法 通信顺序进程 B方法 
采用函数式语言的BPEL模型形式化验证方法被引量：5
《计算机科学与探索》2018年第2期185-196,共12页祝义 黄志球 周航 
国家自然科学基金No.61502212;江苏省博士后基金No.1501055B~~
通信顺序进程(communicating sequential process,CSP)是一种经典的形式化方法,CSP_M是在CSP基础上提出的一种函数式语言。目前Web服务组合中BPEL(business process execution language)模型缺乏可执行的形式化编程语言,通过CSP_M提出...
关键词：函数式语言 通信顺序进程(CSP) 业务流程执行语言(BPEL) 形式化验证 模型检测 
多机器人路径规划的安全性验证被引量：15
《软件学报》2017年第5期1118-1127,共10页刘涛 王淑灵 詹乃军 
国家自然科学基金(91118007;6110006;61304185)~~
近年来,伴随着人工智能领域的浪潮,机器人越来越多地出现在我们的日常生活中,例如足球机器人、无人机、无人车等.如何保证这些自治机器人尤其是多个机器人在移动过程中的安全,成为人们一直很关心的问题.混成通信顺序进程(hybrid communi...
关键词：人工智能 机器人 混成通信顺序进程 混成系统 形式化验证 定理证明 
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部