【摘 要】
：
安全协议的形式化分析是当前安全协议研究的热点,如何扩充现在已经成熟的理论和方法去研究更多的安全性质,使同一系统中各种安全性质在统一的框架下进行分析和验证是一个亟待
【机 构】
：
湖州师范学院计算机科学与技术系,上海交通大学计算机科学与工程系
论文部分内容阅读
安全协议的形式化分析是当前安全协议研究的热点,如何扩充现在已经成熟的理论和方法去研究更多的安全性质,使同一系统中各种安全性质在统一的框架下进行分析和验证是一个亟待解决的问题.进程演算是一强有力的并发系统建模工具,而结合知识推理可以弥补进程演算固有的缺乏数据结构支持的特点,以此提出了一个安全协议形式化分析的一般模型.基于此模型,形式化地定义了一些安全性质,给出了一个实例研究,并指出了进一步完善此模型的研究方向.
其他文献
远程数据备份系统是实现数据容灾的一个重要前提,而日志机制是备份系统的基础.在远程数据备份系统日志结构的基础上,针对已有日志机制的不足,提出了一种延迟保护策略.讨论了
从健康的黄鳝肠道中分离出细菌32株。革兰氏染色结果表明，8株为革兰氏阳性菌，24株为革兰氏阴性菌。研究了其产蛋白酶、脂肪酶、淀粉酶、纤维素酶的能力。结果表明，有53．13％的菌株
大规模存储网络中的数据可用性和读写性能越来越重要．在海量存储虚拟化系统的基础上，实现了多副本虚拟盘技术来提高网络存储的数据容错能力．同时，通过多副本选择调度与异步副本更
2019年8月CERNET主干网网络运行正常。8月CERNET主干网流量相比于7月流量减少,主要原因是高校放暑假学生用户数量减少。从主干网的流入/流出流量来看,相比于7月入流量减少了3
接续和直接指称语义之间的转换的主要难点在于不保函数基调．基于Monad思想推导出的接续语义函数和直接语义函数之间的关系，给出了基于规约的从接续指称语义描述形式到直接指称