【摘 要】
：
该文介绍了几种具有代表性的安全协议的形式化验证工具，研究并使用JAVA语言实现了基于攻击者和秘密的安全协议验证算法。作者提出了射 份验证协议必须交换秘密的概念，还为协议
【机 构】
：
清华大学计算机科学与技术系(北京)
论文部分内容阅读
该文介绍了几种具有代表性的安全协议的形式化验证工具，研究并使用JAVA语言实现了基于攻击者和秘密的安全协议验证算法。作者提出了射 份验证协议必须交换秘密的概念，还为协议形式化验证过程设计了框架。框架是指针对攻击者和其冒充的角色对原安全协议的改造。作者实现的验证工具是证伪的，即如果攻击者能够成功冒充某主体，则该安全协议是有漏洞的，反之则该协议的安全性得到某种程度的保证。该文还给出了该算法的攻击实例，并且对以后的研究工作进行了展望。
其他文献
该文阐述了安全系统理论，提出了Ｎ维空间专有算法及其有计算机系统中的应用。
联合授信管理是银保监会优化金融资源配置、提高资金使用效率、支持供给侧结构性改革的重要举措.江苏省银行业联合授信管理试点工作开展以来,在提升银行风险管控水平、降低银
近年来,随着互联网业务的深入开展,浙江农信面向零售客户构建了以“浙里贷”和“丰收信用付”两大“尖刀”产品为核心的数字贷款服务体系.2019年,浙汀农信数字贷款授信超1000
面对信息爆炸式增长和外部环境的快速变化,银行利用大数据、人工智能技术为信贷全流程管理和风险管理提供差异化赋能,逐步将员工从低效繁重的日常工作中解放出来.突如其来的
科技创新是推进国家治理体系和治理能力现代化的根本要求,也是引领经济高质量发展的核心动力,更是实现创新驱动发展的重要支撑.科技创新的最关键因素是人.互联网、大数据等技
长期以来,科技的演进发展深刻改变着经济金融的运行模式,一部金融发展史亦是一部科技发展史.由于传统金融运行模式、管理思维定势的局限,金融机构对科技人才队伍的建设与培养
在现场实际调研和理论分析的基础上，从安全系统工程的角度，提出煤层开采自然危险性预先分析概念和基本框架，认为煤自然倾向性、煤层厚度、倾角、煤的坚固性系数、回采工作面（Ｕ型）供
当前,金融与科技融合的步伐不断加快,金融科技已成为商业银行的核心竞争力,而科技人才也成为各家银行争夺的焦点.深圳农商银行长期坚持“创新+科技”双轮驱动,在深入实施“科
把系统工程的理论和方法运用到安全科学中，形成了一门新兴的工业工程分支学科－－安全系统工程。该文通过对Ｔ－１８０４化工生产系统的安全分析和评价来介绍一般常用的方法和程序。文中特别列
该文就安全协议模型检查分析方法中的状态爆炸问题进行了讨论，在分析了安全协议的运行特征以及入侵者获取知识和运用知识的基础上，总结了五种状态简化的技术。