-
题名基于可达关系的安全协议保密性分析
被引量：4
- 1
-
-
作者
顾永跟
傅育熙
朱涵
-
机构
湖州师范学院计算机科学与技术系
上海交通大学计算机科学与工程系
-
出处
《计算机学报》
EI
CSCD
北大核心
2007年第2期255-261,共7页
-
基金
国家杰出青年科学基金(60225012)
+1 种基金
国家"九七三"重点基础研究发展规基金(2003CB317005)
国家自然科学基金(60473006)资助
-
文摘
借助形式化的方法或工具分析安全协议是非常必要而且行之有效的.进程演算具有强大的描述能力和严格的语义,能够精确刻画安全协议中各个参与者之间的交互行为.作者以进程演算为基础,嵌入消息推理系统以弥补进程演算固有的缺乏数据结构支持的特点,尝试地提出了一个基于可达关系的安全协议保密性分析模型.基于此模型,形式化地描述了安全协议的保密性,证明了一定限制条件下的可判定性.并且以TMN协议为例,给出了该模型的实例研究.
-
关键词
安全协议
可达关系
进程演算
消息推理
-
Keywords
security protocol
reachability relation
process calculus
message inference
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名贝叶斯网络与模糊理论的移动机器人避障
被引量：11
- 2
-
-
作者
柴慧敏
陈奋增
方敏
赵昀瑶
-
机构
西安电子科技大学计算机科学与技术学院
-
出处
《控制工程》
CSCD
北大核心
2020年第10期1657-1664,共8页
-
基金
陕西省工业科技攻关项目(2016GY-112)。
-
文摘
针对未知环境下的移动机器人避障问题,提出了贝叶斯网络模型和模糊理论相结合的避障方法。首先根据机器人避障的基本情况分类,建立了避障贝叶斯网络模型;在避障过程中,机器人行进的前方[10°, 170°]范围划分为5个区域,依据传感器数据提取不同区域的障碍物目标要素;分别建立障碍物目标的距离和角度属性的模糊隶属函数,将障碍物目标要素的距离和角度信息映射到避障贝叶斯网络模型征兆节点的取值状态上,以获得推理的输入证据;采用贝叶斯网络消息传播的推理方法,计算结果节点的后验概率值,选择后验概率值最大的取值状态,作为移动机器人避障的动作处理结果。通过对避障贝叶斯网络模型的实验测试,及在4种典型仿真场景下的避障测试,结果表明:避障贝叶斯网络模型的推理结果与预期相符,机器人能够安全通过障碍区。
-
关键词
移动机器人
避障
贝叶斯网络
模糊理论
消息传播推理
-
Keywords
Mobile robot
obstacle avoidance
Bayesian networks
fuzzy theory
message-passing inference
-
分类号
TP242
[自动化与计算机技术—检测技术与自动化装置]
-
