论文部分内容阅读
随着网络的迅速发展，网络安全问题日益突出，正确分析和验证安全协议尤为必要。目前对安全协议进行分析的主流方法是形式化分析方法。形式化分析方法多种多样，本文对当前主要的几种方法进行了概述和总结，并指出了下一步工作方向。
安全协议的形式化分析概述
【摘 要】
：
随着网络的迅速发展，网络安全问题日益突出，正确分析和验证安全协议尤为必要。目前对安全协议进行分析的主流方法是形式化分析方法。形式化分析方法多种多样，本文对当前主要的几种方法进行了概述和总结，并指出了下一步工作方向。
【机 构】
：
西安通信学院,陕西西安,710106
【出 处】
：
第六届全国信号与信息处理联合学术会议
【发表日期】
：
2007年8期
其他文献
本文采用浮游催化法喷雾进料技术制备碳纳米管.对产物收率、形貌和微观结构的研究表明工艺参数如催化剂含量、硫添加量和氢气流量对其有显著影响.低催化剂含量、合适的硫添加量和高氢气流量有利于较细直径碳纳米管的生成.通过优化工艺参数可以制备出平均直径为35nm的均匀纯净的碳纳米管.
研究了液体酚醛树脂合成过程中原材料酚/醛配比、聚合反应程度、聚合速度及树脂粘度等因素,揭示了反应程度,聚合速度与酚醛树脂固化、碳化后残碳率的关系.结果显示,树脂的残碳率随甲醛加入量的增加而发生变化,在酚/醛为1:1.2摩尔比时达到峰值,随着树脂聚合速度的增大,树脂残碳率逐渐增大.
采用溶胶-凝胶法结合高温裂解法,利用聚苯胺,为前体制备多壁碳纳米管.并作为二次模板,用电化学沉积的方法制备碳纳米管包装金属(Fe、Co、Ni)纳米线(管)同心电缆式复合纳米结构的有序阵列.并利用XRD、SEM、TEM、VSM和EDX对其进行分析和表征.
通过向石墨材料中掺杂氧化锆,制备碳化锆/炭复合材料.较系统地考察了锆的加入量对材料性能的影响.结果表明:随着掺锆量的增加,力学性能不断提高,电阻率不断降低,在掺锆量为10﹪时,材料的抗弯强度达最大值,而此时电阻率达最低值.进一步研究表明:微观结构影响着材料的力学、电阻率等宏观性质.
质子交换膜燃料电池(PEMFC)较其他类型的燃料电池具有明显的优势,因而发展最快.但制约其市场化的主要原因是价格过高,而决定燃料电池成本的最根本因素是电池所用的关键材料.形态多样的碳材料具有质轻、价廉、导热、导电、耐腐蚀的特点,已在质子膜燃料电池中得到普遍应用.提高材料性能、简化制备工艺是提高质子膜燃料电池性能、降低成本、减少体积乃至重量的重要途径之一.
通过对反硝化微生物在生物炭纤维(BCF)与聚丙烯、泡沫聚氨酯塑料类载体上的固着化实验,发现不仅反硝化微生物在炭纤维载体上附着强度较大,而且每克炭纤维上的生物膜干重及对硝态氮处理能力是每克塑料类载体的200倍以上.在PAN基高强度生物炭纤维与活性炭纤维对反硝化菌固着化的比较中,发现高强度生物炭纤维比活性炭纤维能固着更多的反硝化微生物,这与高强度炭纤维载体与微生物的有效接触面积大、传质好及表面官能团有
通过对比反硝化菌在不同基体炭纤维表面的固着化及炭纤维表面含氧官能团对菌种的固着化实验,研究了生物炭纤维(BCF)基体、比表面积、循环利用性等特性,尤其表面含氧官能团对反硝化菌固着化的影响.实验结果表明,反硝化菌在PAN基炭纤维上的平均挂膜厚度明显高于沥青基和粘胶基炭纤维.炭纤维表面适量的含氧官能团有助于较多、较牢固地固着反硝化菌.对三种PAN基炭纤维的XPS谱图分析表明炭纤维表面含氧官能团—O—C
本文以甲烷作碳源,氢气作还原气,AlO/FeO气凝胶为催化剂,在各种温度下进行催化裂解制备单壁纳米炭管.采用TEM和Ramam光谱对得到的产物进行了表征,发现反应气氛及热分解温度对碳产物的形貌和微观结构有很大的影响.Raman光谱和透射电子显微镜分析结果显示在一定的控制条件下,单壁纳米碳管可大量生成,所生成的单壁纳米碳管质量好,直径主要分布在1.1~1.3nm范围.表明AlO/FeO气凝胶催化剂是
本文以煤为主要原料,采用热成型的方法制备炭分离膜,所制备的炭分离膜的孔径分布主要集中在0.1~0.2μm,最大孔径为2.1μm.炭膜的中间层和分离层均有丰富发达的孔结构,且孔径较均匀.炭膜的气体渗透速率10cm/cm·s·cmHg数量级,H/N的理想分离系数达到2.1.