【摘 要】
：
目前安全DSR协议由于缺乏有效的形式化分析方法,难以发现一些隐蔽的安全漏洞。针对这一问题,通过分析DSR协议路由过程,给出了安全DSR协议的安全目标。提出了一种基于逻辑的安
【机 构】
：
解放军理工大学通信工程学院,解放军理工大学指挥自动化学院
论文部分内容阅读
目前安全DSR协议由于缺乏有效的形式化分析方法,难以发现一些隐蔽的安全漏洞。针对这一问题,通过分析DSR协议路由过程,给出了安全DSR协议的安全目标。提出了一种基于逻辑的安全DSR协议形式化分析方法,定义了能够反映安全DSR协议特性的基本逻辑构件（包括主体、目标和公式）和推理规则。首先用逻辑公式描述协议初始假设及过程,然后用推理规则进行推导产生推导结果,最后依据推导结果判断协议安全性。使用这种方法对SADSR协议进行了形式化分析与改进,发现了SADSR协议存在的安全漏洞。分析结果表明,提出的方法能够用于安
其他文献
邓小平的对外经济合作思想，是毛泽东对外经济合作思想在新时期的新发展，其内涵丰富深刻，不仅对新时期中国的对外经济合作产生了重要的历史作用，而且在新世纪仍将发挥巨大的社会作
由于样本数常小于样本维数,传统的典型相关分析方法CCA(canonical correlation analysis)会产生小样本问题。为了解决这类问题,一种新的有监督特征抽取方法——二维典型相关分析2DCCA被提出。与传统CCA方法把二维图像矩阵拉成一维向量不同,2DCCA直接从图像矩阵中抽取特征,该方法有效地解决了小样本问题。但是在单特征下,CCA的类标编码对识别率会产生影响,在一维情况下,传
为了有效评估网络可靠性,通过计算网络节点对的可靠性,提出了一种利用节点有序排列的随机图模型来计算网络系统中节点对可靠性的新方法。该方法使用基于滑动窗口技术的递归算
2012年6月11～12日，中国电器工业协会微电机分会六届二次理事会议在无锡召开，共计42家理事单位及会员企业的53名代表参加了此次会议，总会白文波副秘书长代表中国电器工业协会参加
目的:冠状动脉起源于肺动脉(ALCAPA)是一种少见但危及生命的先天性心脏畸形,部分患儿伴发严重的心脏扩大,心肌功能受损,冠脉移植术后转归存在个体差异.本文分析此类患儿术后
“2013年度通用机械行业统计信息工作会议”2013年11月20-21日在肇庆召开。来自行业会员企业及各专业分会的代表60多人参加了会议。
由中国电工技术学会举办的第十八届国际电磁兼容技术交流展览会于2013年7月30日-8月1日在北京国际会议中心胜利召开。
中国通用机械工业协会（中通协）泵业分会第七届第二次会员代表大会于2013年9月23～24日在辽宁葫芦岛召开，来自会员单位和有关应邀单位的近300名代表参加了会议。
为了更好地了解我国区域碳气溶胶,利用意大利国际理论物理中心ICTP（International Center forTheoretical Physics）的气溶胶资料和区域气候模式R egCM 3对2000年我国碳气溶胶时
针对现有的图像复制遮盖篡改检测算法需要某些先验信息、对后处理操作失效且计算量大等问题,借鉴图像匹配技术中的SIFT(scale invariant feature transform)特征匹配算法,首次提出将其用于检测复制遮盖的篡改操作。该方案首先计算出待鉴定图像的所有特征向量,然后进行特征向量集的划分与匹配。待鉴定图像的匹配点对用点与点之间连线标记。如果图像被复制篡改过,所标记的线段将明显集中于