论文部分内容阅读
网络的飞速发展,使得安全问题日益突出,而身份认证协议则是安全性的基础.目前国际上的热点是安全协议的形式化验证.文章从两个角度介绍安全协议形式化验证的方法:证明与证伪.对其各自特点进行比较与分析.
安全协议形式化验证方法的比较与分析
【摘 要】
：
网络的飞速发展,使得安全问题日益突出,而身份认证协议则是安全性的基础.目前国际上的热点是安全协议的形式化验证.文章从两个角度介绍安全协议形式化验证的方法:证明与证伪.
【机 构】
：
清华大学计算机系
【出 处】
：
计算机工程与应用
【发表日期】
：
2001年14期
其他文献
心理护理是应用心理学的原理与方法,采用护理者与被护理者相互反应与关系,护理病人之心理情绪、认知、与行为有关的问题,其目的在于解决病人所面对的心理困难,减少焦虑、忧郁
盲签名方案在电子货币等密码系统中具有重要的作用，该文对两个广义ElGamal型数字签名方案进行修改，并从修改的签名方案出发构造了两个强盲签名方案。
重型病毒性肝炎(重肝)易发生医院感染且病死率高。为了解其临床特点,探索更好的防治措施,现对我院1996年7月至1997年6月收治的159例重肝进行医院感染有关情况调查,结果报告如
应用SKM多源循径传导毫米波治疗仪治疗高血压、伤口感染、溃疡病、损伤性疾病、癌性疼痛等文献报告较多,而用于治疗化疗药物外渗所致皮肤损伤报道少,现报告2例如下。 例1,男,
热惊厥是儿科常见的急症之一。近十年来,我国医学界对此症的研究甚多,进展迅速,如热惊厥复发的因素及转为癫痫的危险、热惊厥后对儿童智力的影响、与热惊厥发生的一些相关因
纵向调查表明50％～85％儿童免疫后9～15年仍具有保护性浓度抗-HBs。而且尽管抗-HBs滴度下降，免疫儿童对慢性乙型肝炎病毒(HBV)感染仍有长期防御作用。但是对于出生时免疫产生抗体的持久性以及免疫后未检测出抗-HBs的儿童对HBsAg的应答研究较少，为此作者开展血源和重组HBV疫苗免疫持久性及对加强免疫应答的研究。
IL-12是一种主要由巨噬细胞和B细胞产生的异二聚体细胞因子,能够促进NK细胞、T细胞的增殖和杀伤活性,诱导IFN-γ等细胞因子的产生,调节Th1细胞的发育,具有良好的临床应用前景
近20年来,机内测试(Built-inTest,BIT)技术从理论到应用取得了显著进展,已成为提高复杂系统测试性、维修性的有效途径,并大量应用于大型军用装备、航空航天系统当中.该文首先