论文部分内容阅读
安全协议的形式化研究成为一个热点领域,出现了很多的形式化和逻辑的研究方法.本文对于安全协议方法和技术做了介绍和总结.
安全协议的自动分析技术
【摘 要】
：
安全协议的形式化研究成为一个热点领域,出现了很多的形式化和逻辑的研究方法.本文对于安全协议方法和技术做了介绍和总结.
【机 构】
：
淮阴工学院计算科学系
【出 处】
：
南北桥
【发表日期】
：
2009年7期
其他文献
尊重个性,自主探索、快乐学习成为当今课堂的主旋律,在课改背景下,教与学的天地更广阔了,我们可以大胆整合教材内容,通过情于境的交融架起学生智慧发展的阶梯,再用精确、精练
目的探讨心理护理在小儿静脉输液时的重要性。方法把收集到的我院儿科患儿186例随机分成心理护理组和非心理护理组,并对两组的治疗依从性和一次穿刺成功率进行比较。结果心理
目的评估推拿结合针灸疗法治疗腰肌劳损的，临床疗效。方法选取本院2009年2月～2012年1月收治的92例腰肌劳损患者．随机分为治疗组与对照组，治疗组行推拿结合针灸疗法，对照组采用单纯
当系统以单用户模式都无法进入时，或出现GRUB命令行也不能解决的引导问题，我们就需要使用Linux救援模式来进行故障排除了。
消水Ⅱ号方是治疗癌性腹水的中药外用软膏剂。临床治疗癌性腹水47例,显效10例,有效28例,总有效率80.8％。消水Ⅱ号治疗后腹水中癌细胞减少或消失,而淋巴细胞增多。动物实验显示
一张贞、王渔洋生平张贞,字杞园,别号渠亭山人,清初著名文人。张贞同乡后学李漋在《张杞园先生墓表》中称：“生于崇祯丁丑,卒于康熙壬辰,享年七十有六。”康熙十八年（一六七九）
Redhat Linux AS4的初始发行版本并不包括对iSCSI软件Initiator或Target的支持，因此，如果您使用的是这个版本的Linux系统，需要手动安装配置iSCSI。