AVSP算法

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户：forbj

【摘要】

：

AVSP(Automatic Verifier of Secrurity Protocols)是基于串空间模型(Strand Space Model),并结合使用定理证明和模型检测技术开发出来的密码安全协议自动验证工具.AVSP使用

【作者】

：

石昊苏薛锐冯登国

【机构】

：

中国科学院

【出处】

：

计算机工程与设计

【发表日期】

：

2005年4期

【关键词】

：

AVSP算法安全协议串空间算法模型检测技术 AVSP security protocol strand space ideal algorithm

【基金项目】

：

中国科学院资助项目，国家重点基础研究发展计划(973计划)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

AVSP(Automatic Verifier of Secrurity Protocols)是基于串空间模型(Strand Space Model),并结合使用定理证明和模型检测技术开发出来的密码安全协议自动验证工具.AVSP使用了理想的语义和逻辑来表达安全协议的保密性,同时采用了一些证明策略以控制和减少状态空间爆炸的规模,并加快发现协议中存在的漏洞.

其他文献

中国经济亟需大力弘扬企业家精神

在"万众创新、大众创业"的大背景下,企业家精神在化解逆全球化的冲击方面无疑具有更为现实的意义。5月31日,全球航空迷翘首以盼的"载人龙飞船"终于成功对接国际空间站,这标志

期刊

企业家精神大众创业逆全球化国际空间站一切皆有可能翘首以盼万众创新全球航空

漫谈其他综合收益的确认与计量

"其他综合收益"科目的使用说明分散在多个具体会计准则的应用指南中,广大实务工作者有必要将这些分散的规定加以梳理和整合,确保其他综合收益在相关报表上的正确列报与披露。

期刊

其他综合收益具体会计准则报表项目会计科目实务工作者确认与计量所有者权益变动表财务报表

中共中央政治局部署下半年经济工作

7月30日,中共中央政治局召开会议,会议分析研究当前经济形势,部署下半年经济工作。中共中央总书记习近平主持会议。会议指出,当前经济形势仍然复杂严峻,不稳定性不确定性较大

期刊

中共中央总书记双循环主持会议不确定性不稳定性持久战当前经济形势中共中央政治局

遗传算法在软件项目管理中的应用及研究

遗传算法（genetic algorithms,GAs）因其能适应任意限制条件和目标问题,被普遍应用在各种调度优化问题中,但是针对于特定的软件项目管理问题和环境,没有系统的研究和分析.通过对

期刊

遗传算法软件项目管理调度优化启发式搜索genetic algorithms software project management schedulin

疫情下的中国保险业

长期来看,新冠病毒疫情的爆发将加快中国保险业转型变革,提升民众风险意识,提高保险在中国居民资产配置中的比重。短期内,新冠病毒的冲击将影响亚洲保费的增长,并对2020年全

期刊

中国保险业新型冠状病毒保费收入保费规模

柔性管理在普外科护理中的应用效果

目的探讨柔性管理在普外科护理中的应用效果。方法对我院在2011年10月至2012年10月收治的94例普外科患者随机分为47例实验组和47例对照组,对照组的患者采用常规的护理手段进

期刊

柔性管理普外科护理应用效果

国家电网公司与俄统一电力公司签署第1阶段购售电合同及下一步合作协议

历时10个多月的2006中国“俄罗斯年”活动于2006年11月9日在北京落下帷幕。中俄两国总理共同出席在人民大会堂举行的盛大闭幕式并致辞。作为“俄罗斯年”闭幕式上中俄两国所

期刊

国家电网公司合作协议电力公司合同人民大会堂股份公司电力系统俄罗斯

《中国电力》下期要目

期刊

汽轮机功率与循环水系统功耗神经网络模型的建立及其应用

首次采用自组织特征映射(SOM)网络结合BP神经网络方法建立了汽轮机功率模型,利用SOM网络的聚类功能,解决了传统样本提取方法正交性和完备性差的局限性.在合肥电厂125 MW机组

期刊

汽轮机功率循环水系统自组织特征映射(SOM)BP神经网络基准值能损分析steam turbine power output circulating

燃煤CO2减排技术

燃煤CO2等温室气体的大量排放是造成全球气候变暖的一个重要原因。阐述了我国CO2的捧放状况，概括了减少燃煤CO2排放的3种途径：提高能源效率、改革传统的煤炭燃烧利用方式、烟气

期刊

CO2减排技术CCR技术O2/CO2循环燃烧技术CLC技术新型氧载体CO2 emission control technology CCR tech

AVSP算法

与本文相关的学术论文