【摘 要】
：
可证明安全是目前分析密码协议安全性的一种重要方法,但是手工证明的难度较大,正确性也难以保证。利用计算机技术实现可证明安全性的自动化分析是目前的一个研究热点。文章在
论文部分内容阅读
可证明安全是目前分析密码协议安全性的一种重要方法,但是手工证明的难度较大,正确性也难以保证。利用计算机技术实现可证明安全性的自动化分析是目前的一个研究热点。文章在前人工作的基础上,设计了一个适用于更多密码协议的安全性证明的自动化证明工具。着重介绍了利用高级描述语言来描述的输入文件即＂初始攻击游戏＂的结构,并以带Hash的E lGamal加密体制为例,利用证明工具,实现了其安全性的自动化证明。
其他文献
本文针对印尼穆印电厂电气图纸审图过程中所发现了一些设计不合理的问题，提出相应的优化方案，取得了非常好的效果，为工程节省了大量的成本。通过这个实例阐述了电源点及电缆通道
采用具有较高处理能力的HACMP群集系统已成为移动网络设备设计的首选平台,主要介绍了HACMP的技术原理,包括双节点群集拓扑结构,多管理模块机制、多种资源调度机制、心跳和IP
承德东清真寺建于1718年(康熙五十七年),兴建过程是回族融入满、汉族聚居地的过程.东清真寺成为回民间互相帮助及发展教育的机构.武列河全长110公里,有七家温泉、头沟汤泉、
全面预算管理已逐渐演化成为企业治理的一项重要制度安排和途径,对建立现代企业制度、提高管理水平、增强市场竞争力有着十分重要的意义。笔者长期在国有特大型煤炭企业从事
师专几何基础教学应结合中学几何教材李秀云师专几何基础所讨论的主要内容就是希尔伯特公理系统，这是一个完整的欧氏几何公理系统。在这个系统里，希尔伯特采用公理法，自然地将欧
近年来，随着招生规模的扩大，高校原有的校区规模已不能满足新形势下的办学要求，各高校纷纷开始建设新校区，扩大办学规模。新校区的建设从征地拆迁到最后竣工验收投入使用，需大量的
资源分配网络（RAN）算法可以在线训练径向基（RBF）神经网络，但算法中的网络隐层中心通常从零开始，容易受噪声和异常数据影响。文章提出一种改进RAN算法，将遗传算法（GA）对数据优化聚类后
提出一种描述数据聚类的元胞自动机（Cellular Automaton,或CA）模型,将待测数据集看作一个Potts磁系统,设定该系统中磁子的状态和演化规则。这样Potts系统的磁化过程就成为待测
裂缝，尤其是非结构裂缝，例如发生于内外墙体抹灰上的龟裂、水平裂缝、沿柱的竖直裂缝、不同材料间的裂缝等是在建筑中经常发生的一种通病，出现这种裂缝究其原因有的是因为技术上
本文结合工作实际，分析论述了放顶煤工作面往复式搬家工作实践与经验，对相似工作面有一定的借鉴与指导。