论文部分内容阅读
基于身份的密码体制（IBC）轻量、高效，密钥管理方式简单，但缺乏有效安全协议的支持限制了其应用。通过增加支持IBC的加密套件，引入IBC公钥代替RSA证书公钥，减少消息交换数量，提出支持IBC的、高效的基于身份的IB_TLS协议。使用BAN逻辑对其进行形式化分析，证明IB_TLS协议是安全的。
基于身份的TLS协议及其BAN逻辑分析
【摘 要】
：
基于身份的密码体制（IBC）轻量、高效，密钥管理方式简单，但缺乏有效安全协议的支持限制了其应用。通过增加支持IBC的加密套件，引入IBC公钥代替RSA证书公钥，减少消息交换数量，提出支持
【机 构】
：
北京科技大学信息工程学院,济南大学信息科学与工程学院
【出 处】
：
计算机工程
【发表日期】
：
2011年1期
其他文献
作者采用自拟温肾利水方剂-肾炎Ⅱ号方治疗各种肾炎366例,治愈122例,有效226例,无效18例,总有效率为95.1%.作者对本病的病机和本方的组方机理、现代药理研究进行了阐述.
针对煤岩机械刀具破碎煤岩寿命和效率低的问题,提出一种具有轴向振动与径向切削破碎煤岩的方法,为探明碟盘刀具在轴向振动与径向切削破碎煤岩的力学特性,通过分析煤岩崩落面
选取健康活跃的中华蟾蜍Bufo gargarizans雌性个体分成5个试验组，每组7只，分别以0．00（对照组，注射任氏液）、0．25、0．50、1．00和2．00mg／kg浓度的三氯杀螨醇（DCF）行体腔注射染毒，每3d一次，连续
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
<正> 在逻辑史上,斯多葛派的重大贡献就是继亚里士多德建立了第一个名词逻辑系统(即三段论系统)之后,建立了第一个命题逻辑系统.亚里士多德的三段论系统是一个古典的公理系统
针对分层WSN节点的更新，使用二元对称多项式，提出一种安全的建立通信双方会话密钥方案。该方案可保证传输消息的秘密性和完整性，能有效地抵御攻击者对消息的非法篡改、替换和重
本文首先回顾了GIS在国内外的发展概况,指出GIS逐渐地向WebGIS、ComGIS、OpenGIS、三维GIS系统等方向发展的趋势,在此基础上分析了国内外环境地质研究的进展,着重探讨了地理