论文部分内容阅读
A Novel Formal Theory for Security Protocol Analysis of Denial of Service Based on Extended Strand S
【机 构】
：
SchoolofInformationScienceandEngineering
【出 处】
：
中国通信
【发表日期】
：
2010年4期
【基金项目】
：
This work is supported by National Natural Science Foundation of China under contract 60902008.
其他文献
腹股沟疝１８３例临床分析泉州市人民医院陈继川林小鸣我科两年来共收治腹股沟疝１８３例，其中斜疝１７９例，直疝４例。现将手术治疗情况报道如下。一、临床资料（一）一般资料：１８３例腹股沟疝中，男性１５１例，女性３２例
今年2月26日，第五届海峡两岸信息产业技术标准论坛召开。期间，与会两岸业界人士表示，要抓住两岸关系呈现和平发展前景的新机遇，加强交流合作，共同应对国际金融危机的冲击，利用两岸
移植是园林绿化种植施工中难度较大的栽植工程,费工费时,因此确保树木移植成活率就显得十分重要。而确保移植树木成活率重要的方法即树木移植后的养护工作,如何做好后期的养
考察了在异丁烯催化选择氧化为甲基丙烯醛反应中碱金属铯、铷、钾对钼-铋-铁系催化剂催化性能的影响.结果表明,铯、铷、钾对催化剂的性能均产生了显著的影响,改变了异丁烯转
急性出血性坏死性胰腺炎的术后护理体会晋江市中医院范和平我院自１９８９～１９９５年共收治急性出血性坏死性胰腺炎１５例，１３例经及时手术治疗、术后精心护理获痊愈，２例因术后出现严重并发症抢救无效
为了分析广西北海市沿岸的波浪特征,采用计算机对SZF型波浪浮标观测一个月（2008年6月份）的风浪过程资料,并对其进行了统计分析和谱分析,给出了波高和周期分布,以及特征波要素和
介绍一种含硅性炭为载体制备的固体磷酸催化剂，经Ｘ衍射分析确认其中含在磷酸硅，并用ＸＰＳ、ＩＲ，ＴＧ研究活性组份变化。此催化剂对丙烯剂聚产物Ｃ９＋Ｃ１２选择性约８０％。对丁烯齐聚寿命考查运转了２３６４小时，产品油
IP多媒体子系统(IMS)是一种非常重要的全新体系框架,同时也是全IP网络发展的终极目标。这种框架为移动应用融合语音、视频和数据服务。IMS采用SIP作为主要信令机制,并覆盖于I
结合C语言的高级语言形式、低级语言功能的特殊魅力,探讨了C程序设计精品课程建设的主要措施,论述了课程建设方面教学方法的特色和实效。
在反应条件下，甲烷化催化剂上吸附的ＣＯ和Ｈ２都可分为可逆与不可逆吸附两类，甲烷的生成是可逆吸附氢与不可逆吸附ＣＯ作用的结果，可逆吸附ＣＯ只与生成乙烷等副产物有关。随着体系中氢分压的增