-
题名基于分层的网络安全协议验证方法
被引量：1
- 1
-
-
作者
张磊
侯俊峰
黄连生
-
机构
清华大学计算机系网络技术研究所
-
出处
《计算机应用研究》
CSCD
北大核心
2005年第7期143-145,共3页
-
文摘
提出了一种新的基于分层的网络安全协议验证方法。首先对要验证的安全属性进行划分,将其分成若干安全子属性;其次对要进行验证的安全协议在安全性等价的条件下进行转换;然后逐步剖分成一个自底向上的多层协议,如果每一层子协议满足所要验证的安全属性的一个子属性,那么这个协议即可被证明是安全的。这种方法相比于传统的验证方法,不但高效,而且完备性更佳。
-
关键词
安全协议
层次化
验证方法
-
Keywords
Security Protocol
Layer-based
Authentication Method
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名自组网路由协议QoS AODV的改进
被引量：2
- 2
-
-
作者
崔鹤鸣
向勇
-
机构
清华大学计算机系网络技术研究所CSCW实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
2008年第6期1042-1046,共5页
-
基金
国家自然科学基金项目(60270301)资助
清华大学"九八五"基础研究基金资助
-
文摘
QoSAODV协议是目前自组网QoS路由协议的研究热点.由于只能由目的节点返回路由确认RREP,它的协议开销较大.提出了一种基于QoS AODV的改进协议AQ-AODV(Advanced Q-AODV).通过建立QoS分级路由表并改进QOS-LOST分组的转发机制,可由中间节点返回RREP.仿真实验表明,AQ-AODV的协议开销比AODV和QoS AODV有较大幅度降低,同时分组递交率和分组平均传输延迟也略有改善.
-
关键词
自组网
路由协议
QOS
AODV
-
Keywords
mobile ad hoc network,routing protocol,QoS,AODV
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名保护个人的利益——电子商务协议新属性的自动验证
- 3
-
-
作者
博诺
黄连生
-
机构
清华大学计算机系网络技术研究所
里昂中央理工大学
-
出处
《计算机工程与应用》
CSCD
北大核心
2004年第12期153-155,226,共4页
-
文摘
电子商务的快速发展加强了电子商务协议的新类型的需求,尤其对各种复杂协议的需求,这使得协议本身安全性的证明变得更为困难。为了证明电子商务协议的可靠性,研究人员已设计了各种方法。为了更加清楚地描述需要证明的电子商务协议的安全目标,研究者们已经提出了几种标志性属性,其中之一是较著名的原子性犤8犦,但这并不能完全描述电子商务协议的全部安全性定义。在犤1犦里,研究员对一项有研究价值的新属性进行了研究,称为“保护个人的利益”,并且提出一个手工验证的模型。该模型虽然有效,但是实用性较差。文章提出了一个基于模型检验这种技术的自动验证方法。
-
关键词
电子商务协议
自动验证
模型检验
-
Keywords
E-commerce protocol,Automatic verification,Model checking
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
