论文部分内容阅读
公平性是电子商务协议必须具备的性质。本文采用进程代数的方式对FEEP协议进行了形式化描述,基于ProVerif对FEEP协议的公平性进行了验证,讨论了ProVerif 在分析电子商务协议中存在的问题。
基于ProVerif的电子商务协议的公平性分析
【摘 要】
：
公平性是电子商务协议必须具备的性质。本文采用进程代数的方式对FEEP协议进行了形式化描述,基于ProVerif对FEEP协议的公平性进行了验证,讨论了ProVerif 在分析电子商务协议中存在的问题。
【机 构】
：
中国科学院计算技术研究所,北京 100019 中国科学院研究生院,北京 100049 国家计算机网
【出 处】
：
2008中国计算机网络安全应急年会(信息内容安全分会)
【发表日期】
：
2008年5期
其他文献
本文主要论述了国内火力发电厂氮氧化物污染控制技术的现状以及国电龙源环保工程有限公司从国外引进先进的SCR系统设计和催化剂制造技术，从而使国电龙源环保工程有限公司在SCR烟气脱硝技术方面(系统的设计和催化剂的制造)达到世界先进水平。
文章介绍了中环(中国)工程有限公司自主研发、具有自主知识产权的大型火力发电机组烟气脱硝核心技术GCL-SCR。该技术依托公司研发平台和设计平台中CFD分析、物理冷态实验、特殊喷氨隔栅设计、可靠性分析、Aspen工艺流程设计、PDMS三维设计和CAE应力分析等众多方法，具有节省技术费用、关键设备国产化、系统优化能力强、建设工期短等特点。国内第一个采用该技术建造的烟气脱硝工程国华太仓发电有限公司2×6
从矿山发生淹井事故后，如何估算矿井水量、确定抢险排水参数、选用设备、适应不同矿井的安装条件等方面进行了论述，介绍了潜水电泵和离心式水泵用于斜井抢险排水的快捷系统。
红外热成像仪在各行业应用中非常广泛，但是其在国内煤矿应急救援中未见应用经验介绍，为拓宽煤矿应急救援领域新技术、新装备的应用，在此对红外热像仪在矿山救援行业应用中做以简单探讨。
通过对德国进口BG4型正压氧气呼吸器与国产HYZ4G型正压氧气呼吸器两种目前较先进的氧气呼吸器在实际佩用过程中表现出来的对应优缺点的列举，从用户角度提出了几点改进建议。希望此文能对推进厂家升级改造矿山救护系统主要技术装备——氧气呼吸器有所帮助，更好地造福广大矿山救护指战员。
把WebGIS应用于传统的冶金企业安全管理中，开发了反应及时、决策科学的冶金事故应急系统，该系统主要包括：基础信息管理模块、地理信息管理模块、危险源分析与管理模块、应急决策与管理模块和系统管理模块等。通过该系统的应用，可及时发现事故隐患，控制事故扩展和蔓延，并采取救援措施，使财产损失和人员伤亡减少到最低程度。
为加强和规范安全生产应急平台体系建设，提高应急管理水平与事故处置能力，安徽送变电工程公司在立塔施工中为能有“在线检测、实时显示；临界告警、超载切除”的立塔动力工具，和相关工具厂联合研发了具有过载保护功能的拖拉机绞磨，从而使难以估测的钢丝绳受力等不安全因素变为心中有数、手中可控，保证起吊作业运行在安全状况下。
为加强和规范安全生产应急平台体系建设，提高应急管理水平与事故处置能力，安徽送变电工程公司在1000kV晋东南-南阳-荆门特高压交流试验示范工程全过程施工中采用了远程无线视频监控系统对施工现场进行监控，管理人员可以随时了解到各个施工现场的动态，极大地方便了施工现场的全过程监控管理。
密钥管理是无线传感器网络(WSN)安全研究的核心问题之一。尽管WSN因其固有局限而无法寅接使用传统网络中密钥管理方面的许多研究成果,但随着无线充电等新技术的进展,人们已经开始研究如何在WSN中使用对称和非对称混合的密钥管理方案以及基于身份的密钥预分配方案,等等。本文提出了基于轻最级CA的WSN密钥预分配方案。该方案融合了基于CA的公钥认证框架和基于身份的公钥认证框架二者的优点,而且可以高效实现,很