【摘 要】
：
安全协议的形式化分析是当前安全协议研究的热点,如何扩充现在已经成熟的理论和方法去研究更多的安全性质,使同一系统中各种安全性质在统一的框架下进行分析和验证是一个亟待
【机 构】
：
湖州师范学院计算机科学与技术系,上海交通大学计算机科学与工程系
论文部分内容阅读
安全协议的形式化分析是当前安全协议研究的热点,如何扩充现在已经成熟的理论和方法去研究更多的安全性质,使同一系统中各种安全性质在统一的框架下进行分析和验证是一个亟待解决的问题.进程演算是一强有力的并发系统建模工具,而结合知识推理可以弥补进程演算固有的缺乏数据结构支持的特点,以此提出了一个安全协议形式化分析的一般模型.基于此模型,形式化地定义了一些安全性质,给出了一个实例研究,并指出了进一步完善此模型的研究方向.
其他文献
远程数据备份系统是实现数据容灾的一个重要前提,而日志机制是备份系统的基础.在远程数据备份系统日志结构的基础上,针对已有日志机制的不足,提出了一种延迟保护策略.讨论了
马王堆一号汉墓的随葬品制度,基本保留了战国的楚制;~①它的四层套棺,亦承自旧制。因此,《礼记》中有关先秦棺制的记述,是解开这组套棺使用制度之谜的钥匙;当然,也正是因为有
从健康的黄鳝肠道中分离出细菌32株。革兰氏染色结果表明，8株为革兰氏阳性菌，24株为革兰氏阴性菌。研究了其产蛋白酶、脂肪酶、淀粉酶、纤维素酶的能力。结果表明，有53．13％的菌株
大规模存储网络中的数据可用性和读写性能越来越重要．在海量存储虚拟化系统的基础上，实现了多副本虚拟盘技术来提高网络存储的数据容错能力．同时，通过多副本选择调度与异步副本更
上海中晨数字技术设备有限公司依托国内著名高校和科研单位，广泛采用国内外有关专家的最新科技成果，着重胶体与界面、粉体技术、纺织纤维等性能测量技术产品的开发。
人民代表大会制度沐浴着党的十一届三中全会的春雨,从恢复走向发展,各级人大机关也从人们认为是"橡皮图章",到今天成为老百姓"讨说法"的去处。这正是由于千千万万人大代表和
2019年8月CERNET主干网网络运行正常。8月CERNET主干网流量相比于7月流量减少,主要原因是高校放暑假学生用户数量减少。从主干网的流入/流出流量来看,相比于7月入流量减少了3
2006年4～12月在浙江湖州进行了沙塘鳢池塘专养与混养试验，并进行定期生长测定、养成及效益分析。结果表明，沙塘鳢与青虾混养的试验效果最好，单产738．3kg／hm^2，平均规格35．48g/尾，单位
本文试用生态场的思想，对林网中玉米（Zeamays)的主要产量性状和质量性状与生态场的内主要生态因子的关系进行了探讨，研究结果表明：林网生态场对玉米产量性状，质量性状的影响因各因
接续和直接指称语义之间的转换的主要难点在于不保函数基调．基于Monad思想推导出的接续语义函数和直接语义函数之间的关系，给出了基于规约的从接续指称语义描述形式到直接指称