论文部分内容阅读
文章介绍了可证明安全协议设计中较为流行的UC模型,对UC模型的提出、证明目标、证明过程等进行了总结和分析。通过一个公钥加密通信协议的举例,解释了UC模型下的证明过程。文章最后给出使用UC模型的一般规律。
基于通用可组合理论的协议安全性证明方法讨论
【摘 要】
：
文章介绍了可证明安全协议设计中较为流行的UC模型,对UC模型的提出、证明目标、证明过程等进行了总结和分析。通过一个公钥加密通信协议的举例,解释了UC模型下的证明过程。文章最后给出使用UC模型的一般规律。
【机 构】
：
中国地质大学（武汉）计算机学院信息安全系
【出 处】
：
信息网络安全
【发表日期】
：
2012年06期
【基金项目】
：
国家自然科学基金项目[61170217]
其他文献
古汉语文本中,汉字通常连续书写,词与词之间没有明显的分割标记,为现代人理解古文乃至文化传承带来许多障碍。自动分词是自然语言处理技术的基础任务之一。主流的自动分词方
焦虫病又称梨形虫病、血孢虫病,是由多种无色素血孢虫——焦虫引起的血液原虫病,其可经蜱进行传播.焦虫寄生于病牛的红细胞内,破坏红细胞,病牛出现高热,严重贫血,排血红蛋白
该文针对Gabor变换中窗函数宽度选择的问题,提出了以提高Gabor表示的聚集性和时频分辨率为目的的窗函数宽度自适应选择算法。提出对香农熵的取值范围进行改进,使其更适合度量时频分布的聚集性,进而根据熵度量实现了与信号非平稳性相适应的最优窗函数宽度选择。仿真结果表明该算法对单分量及多分量信号都能有效地选择最优窗函数宽度,能够获得聚集性好、时频分辨率高的Gabor表示,并具有很好的抗噪性能。
随着新世纪的逐步到来,篮球也成为了奥运会里一个重要比赛项目,此举一定程度上推动了世界篮球的发展。经过半个世纪的沉淀,人们逐步发现了人类身体的秘密,并且开始意识到篮球
随着互联网的快速发展,互联网已经成为人们必不可少的工作与生活平台。然而近年来网络安全形势日益严峻,特别是网络钓鱼违法犯罪活动发展态势不断扩大,网络钓鱼已成为互联网虚拟社会中的一个巨大毒瘤。文章分析与揭示了当前最新一种基于SSL协议的网络钓鱼犯罪技术的实现原理和机制,并有针对性地提出了相应解决对策与防范措施。
腺病毒是一种线性无包膜的双链DNA病毒,用于载体构建的主要是人类2型和5型腺病毒。现在通过对腺病毒的改造,已经成功构建出第一代、第二代、第三代和条件复制型腺病毒载体。
该文引入正向Alpha稳定分布辨识常见的瑞利、韦布尔、对数正态和K分布雷达杂波,以该分布模型参数表征4类雷达杂波的拖尾分布。提出了以Alpha稳定分布模型参数作为杂波分类特征的雷达杂波辨识的新方法,实现了对常见4种杂波分布的辨识。仿真结果表明,同经典的KS假设检验方法相比,该方法辨识精度高、运算量小。