论文部分内容阅读
密码协议安全性分析是网络安全的一个难题,运用形式方法对密码协议进行分析一直是该领域的研究热点.运用BAN逻辑对Andrew RPC(RemoteProcedure Call)认证协议进行了形式分析,发现了协议中存在的安全缺陷.对协议进行改进,并给出改进后的安全协议.
基于形式方法的Andrew RPC认证协议的分析与改进
【摘 要】
：
密码协议安全性分析是网络安全的一个难题,运用形式方法对密码协议进行分析一直是该领域的研究热点.运用BAN逻辑对Andrew RPC(RemoteProcedure Call)认证协议进行了形式分析,
【机 构】
：
装甲兵工程学院
【出 处】
：
计算机工程与设计
【发表日期】
：
2005年7期
其他文献
文中针对多主体系统（MAS）中基于知识的协同中关于网络协同推理的问题，结合信息工程的有关理论，提出了一个在网络环境下多Agent竞争推理的模型，以及在该模型中解决冲突的信息熵方法
给出了一种大型SMTP服务器系统的分布式结构、SMTP服务器扩展的方法以及MIME格式的电子邮件解析方式,同时给出了邮件的存储方式、邮件列表的结构和邮件列表的处理方式以及系
文中介绍了一种DBMS权限管理和数据库滥用侦测系统的设计和实现。在基于角色访问控制的基础上，利用DBMS的审计功能，将用户审计信息与实际的权限管理信息相比较，从而侦测出内部合
拨号方式是目前个人用户接入Intemet网络的主要方式之一.针对该类型服务的用户认证和计费方法有早期的系统日志方法和TACACS协议方法,RADIUS是目前最常用的方法.在RADIUS协议
采用低温等离子体协同紫外光催化净化聚丙烯酰胺（PAM）废水,系统研究了光催化参数（紫外光光强、波长、TiO2投加量）、物化参数（废水初始pH值,曝气量）、放电参数（放电电压、放电时间）对P
受当前多元、复杂的城市发展因素影响,沈阳市的控规全覆盖工作先后经历了几轮研究和调整。目前,沈阳市已形成了较为完善的控规编制体系,完成了单元层面的控规全覆盖工作,街区
结合数据对智能电网安全漏洞进行准确识别,可以有针对性的进行防御,提高智能电网的安全性。当前的漏洞检测方法存在误差大、效率低、误报率和漏报率大、容易受到外界环境干扰
详细介绍和评述了以纳米催化剂、智能纳米流体和纳米-微生物驱为代表的纳米材料在提高稠油采收率方面的应用。纳米催化剂的高催化活性能使稠油有效地水热裂解,提高稠油品质。
目前简单网络管理协议(SNMP,SimpleNetwork Management Protocol)已经是网络管理软件的实际标准,随着网络技术的日新月异,对网络管理的要求也越来越高,现有的网络管理方法的
概述了低渗透裂缝性油藏中的渗吸驱油机理和规律,并综述了渗吸作用对采收率的贡献方面的研究与应用进展,展望了渗吸液性能研究、室内物理模拟实验对地层条件的真实反映和渗吸