切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
串空间理论的扩展和应用
串空间理论的扩展和应用
来源 :计算机工程 | 被引量 : 0次 | 上传用户:journey88
【摘 要】
:
根据安全协议分析的需要,阐述经扩展后的串空间理论,在该理论中加入Diffie-Hellman密钥交换等操作,在此基础上扩展理想和诚实的概念,使用扩展的串空间理论分析SIGMA-R协议的
【作 者】
:
陈建熊
孙乐昌
潘祖烈
蔡铭
【机 构】
:
合肥电子工程学院网络工程系,解放军73677部队
【出 处】
:
计算机工程
【发表日期】
:
2009年22期
【关键词】
:
串空间
DIFFIE-HELLMAN密钥交换
数字签名
strand space Diffie-Hellman(DH) key exchange digital
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据安全协议分析的需要,阐述经扩展后的串空间理论,在该理论中加入Diffie-Hellman密钥交换等操作,在此基础上扩展理想和诚实的概念,使用扩展的串空间理论分析SIGMA-R协议的核心安全特性——保密性和认证特性,并通过数学方法加以验证。
其他文献
约瑟夫?海勒《哮喘声声中》的价值观
短篇小说《哮喘声声》(著于1946~1949年间)是约瑟夫?海勒学生时期的作品,已初具后现代主义写作特点。笔者分析该短篇小说中后现代主义社会背景,由此背景着重分析短篇小说中人
期刊
《哮喘声声》
后现代主义
价值观
福建:本土气质下的标准
《山海经·海内南经》有云:“闽在海中”。而今,沧海桑田,斗转星移,今天的福建境内山地丘陵面积约占全省土地总面积的90%,正所谓“八山一水一分田”。如此环境下,福建地区的公路
期刊
福建地区
标准
气质
山地丘陵
公路建设
山海经
面积
利率期限结构动态模型及应用研究
利率是金融市场上的基础价格变量之一,利率期限结构是由某个时点上不同期限的利率所组成的一条曲线。市场利率的动态规律和利率期限结构动态模型一直以来就是金融研究的重要
学位
期限结构
主成份分析
最大似然法
城市里的斗士:杰克?伦敦笔下的拳击手形象
杰克·伦敦的创作与十九世纪末二十世纪初的美国文化密切相关,这一时期拳击运动的中心逐渐从英国转向美国,成为美国人生活中不可或缺的一部分。与此同时,工业化和城市化
期刊
杰克?伦敦
拳击
美国文化
城市化
莫迪亚诺《暗店街》与王小波《万寿寺》的失忆母题
《暗店街》与《万寿寺》均从“失忆”主题出发,探索人的个体本质与生存状态,具有共同的出发点和目的性;与此同时,两者又因各自不同的文化传统和时代背景,呈现出对个体存在的
期刊
《暗店街》
《万寿寺》
失忆
生存状态
贺斯格乌拉露天煤矿上的铁甲钢拳
贺斯格乌拉露天煤矿位于霍林郭勒西北70余km的内蒙古自治区锡林郭勒盟东北部乌拉盖管理区境内,地处锡盟、兴安盟和通辽市三盟市的交界处锡林郭勒草原的腹地,矿区已探明煤炭储
期刊
露天煤矿
锡林郭勒草原
内蒙古自治区
锡林郭勒盟
煤炭储量
钢
铁
管理区
基于统计的网络性能异常快速检测方法
针对固定阈值适应性差的缺点,提出一种可以根据网络环境和运行状态自动调整阈值的网络性能异常检测方法。与一般的基于统计的方法相比,该方法给出样本空间内性能数据的样本均值
期刊
网络性能管理
异常检测
阈值自适应
network performance management anomaly detection threshold-ada
文学社会学视域下的联邦德国早期小说
联邦德国50年代“经济奇迹”是德国历史上前所未有的经济高速发展时期。联邦德国50年代到60年代初期的社会批判小说不仅用现代的写作手法表达了一种美学上的反抗意识,而且还
期刊
联邦德国
社会批判
五十年代
经济奇迹
小说
不顺从主义
传统和现代
整体论视域中的狄金森诗歌研究
在整体论的视域中,世界是一个各部分相互包含、相互依存的整体。只强调整体之中的一个侧面将会引发诸多的生态和社会问题。从整体论的角度来分析美国19世纪女诗人狄金森的诗
期刊
艾米莉·狄金森
整体性
《草地上的瘦家伙》
《紫丁香是古老的灌木》
《凑近我急迫的耳朵——树叶悄悄说——》
Emily DickinsonHolism
基于FCM算法的隐写分析算法综合评估
从与图像隐写分析算法评估相关的问题入手,分析隐写分析算法评估的指标,利用FCM算法实现对各种隐写分析算法的性能评估和比较。该评估算法不仅能对现有隐写分析算法进行评价,以选出最优算法,也适合对新的隐写分析算法进行性能评价。实验结果表明,该评估算法是有效的。
期刊
隐写分析
FCM算法
性能指标
综合评估
steganalysis Fuzzy C-Means(FCM) algorithm performance index
与本文相关的学术论文