论文部分内容阅读
首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议的机密性进行了形式化分析与验证。
串空间模型对RPC协议机密性的验证
【摘 要】
：
首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议的机密性进行了形式化分析与验证。
【机 构】
：
贵州大学计算机科学与技术学院
【出 处】
：
计算机安全
【发表日期】
：
2009年03期
其他文献
实现网络QoS控制对于网络管理及维护相当重要,而网络流量预测对于实现网络的QoS控制可以起到十分重要的作用;另外,流量预测在入侵检测中的应用也受到越来越多的关注。网络流量预测极具现实研究意义。对多个神经网络预测模型进行有效的整合,建立了一个基于多神经网络的网络流量预测模型,并用真实的网络流量对该模型进行仿真验证,提高了其预测性能。
为摸清厦门植物园建园以来竹类植物的引种情况，对厦门植物园竹类植物引种的历史、竹子种类、分类群组成、生长状况等进行了初步研究。结果表明：厦门植物园建园以来引种的竹类植
介绍了在基于前端分配器负载均衡集群中单一前端分配器的局限。提出了一种新的集群服务器结构，使用集线器将多台前端分配器集连，通过对数据包散列令多前端并行工作，消除集群前端
北京市公安局与百度日前在北京联合推出"阳光行动安全上网普及计划",该计划旨在倡导网民提高安全上网意识,增强网民的网络安全意识和防骗能力。该计划首先在北京地区重点推进,未来两年
赛门铁克2010年度大中国区用户大会——Symantec Vision 2010于2010年12月2日在北京召开,来自大中国区的一千多位用户、合作伙伴和业界专家参加了大会。此次大会关注的重点包
详细介绍了一种二值数学形态学腐蚀膨胀运算的优化实现方法。图像处理中常常利用二值数学形态学开闭运算对分割出的区域进行边缘平滑和内部填充处理等,但当结构元素较大时运算速度变得很慢。由于开闭运算的基础是腐蚀和膨胀运算,文章重新对这两种运算做了优化,有效地提高了数学形态学用于二值图像处理的速度。该方法较之结构元素分解的方法有理论基础简单、优化思路简捷、实现方便等优点。
分析了目前消防部队配备的移动式细水雾灭火装置的灭火机理和类型特点,通过对同样工作流量的细水雾灭火装置和喷雾水枪进行的水雾粒径测量和灭火对比试验研究后,得出了相关结
分析了MapObjects组件的特点和功能,介绍了在VisualC++环境下基于MapObjects组件开发地理信息系统的方法,并结合一个车辆定位监控系统探讨了图层处理、实时跟踪、地理要素拾取、图层标注、交互式提示等功能的具体实现,给出了该系统的设计原理、组成、功能、主要技术特点及其应用。实践表明,系统编程体现了地图组件处理地理信息的优势和面向对象编程的灵活性。