论文部分内容阅读
主要探讨了使用非形式化的原理和形式化的规则来获得密码协议安全属性的方法。这些原理和规则基于传统的等级和信息流的思想，通过将其扩展后用来处理密码协议中的并发进程。提出的规则是基于Spi演算扩展语法的一种类型规则。通过这些规则可以向用户担保．如果协议通过了类型检测，则该协议没有泄漏任何秘密的消息。
一种基于扩展Spi演算的类型系统
【摘 要】
：
主要探讨了使用非形式化的原理和形式化的规则来获得密码协议安全属性的方法。这些原理和规则基于传统的等级和信息流的思想，通过将其扩展后用来处理密码协议中的并发进程。提
【机 构】
：
解放军信息工程大学电子技术学院102教研室
【出 处】
：
计算机工程与应用
【发表日期】
：
2007年3期
其他文献
结合京沪高铁大跨径连续梁桥悬灌施工技术,阐述大跨径连续梁桥线形施工控制的仿真分析及施工现场控制内容,总结了施工现场控制的措施。
针对于多用户条件下DS／CDMA系统，在已有的硬件平台和数据采集的基础上，讨论了利用DS／CDMA系统独有的多用户信息混合后相位重复特性，在已估计出其他参数前提下，基带接收，利用分段后用
为充分运用冲压工艺的成功实例，对基于CBR的冲压工艺设计系统中的关键技术一冲压件相似检索进行了研究。首先进行冲压件信息模型的表示；然后通过API提取冲压件的2D展开图轮廓、
金属过滤器应用于聚乙烯醇原液的过滤工序。介绍了金属过滤器的结构,通过与传统板框式压滤机进行对比,体现了金属过滤器在聚乙烯醇纤维生产中的应用优势,即原液过滤速度更快,
分析阳离子产品生产中二甘醇（DEG）含量波动的影响因素如原料质量、生产工艺等，通过调整工艺参数，增加二酯化接收量，提高缩聚真空度，降低二甘醇含量，稳定了产品质量。
针对醛氨法合成吡啶中急冷塔填料堵塞问题,进行物料分析和系统检验,找出吡啶急冷塔填料堵塞原因,并提出了相应的改进措施,成功解决了吡啶急冷塔堵塞问题。
石油化工装置配管设计对工程质量与进度控制有较大影响,因配管设计量大繁琐,与上下游专业、设备供货商协调内容多的专业特点,使得质量控制有一定的难度。结合石油化工装置配
论文提出一种PCF的改进方案VPCF，提升竞争阶段非实时数据的传输性能。站点在无竞争阶段被轮询时向点协调者捎带将在竞争阶段传输的帧的退避计时器值；点协调者通过比较退避计时
探索一种实用的基于想象运动思维脑电的脑-机接口（BCI）方式，为实现BCI应用奠定比较坚实的理论和实验基础。对6名受试者进行三种不同时段（箭头出现2s、1s和0S后提示按键）情况下想象