【摘 要】
：
This paper elaborated on the limitation of authentication test theorem,illustrated the fundamentalcause of that limitation through examples,then enhanced authe
【机 构】
：
Department of Computer Science and Engineering,University of Electronic Science & Technology of Chin
【出 处】
：
High Technology Letters
论文部分内容阅读
This paper elaborated on the limitation of authentication test theorem,illustrated the fundamentalcause of that limitation through examples,then enhanced authentication test to solve this problem,andalso proved the soundness of that improvement with formal method.The enhanced theory can deal withprotocols with test component as proper subtenn of other regular node’ s component under certain condi-tions,and extend the application scope of authentication test.With enhanced authentication test,the au-tomatic protocol verification tools will be more efficient and convenient.
This paper elaborated on the limitation of authentication test theorem, illustrated the fundamental cause of that limitation through examples, then enhanced authentication test to solve this problem, and also proved the soundness of that improvement with formal method. The enhanced theory can deal with protocols with test component as proper subtenn of other regular node ’s component under certain condi-tions, and extend the application scope of authentication test. With enhanced authentication test, the au-tomatic protocol verification tools will be more efficient and convenient.
其他文献
《史记·货殖列传》作为一部战国到秦汉的商品经济史， 描绘了当时的经济发展水平及变化情况， 体现了商品经济发展的轨迹。本文阐述了其反映出的中国古代早期市场理论。主要内容
Composing web services is gained daily attention in Service Oriented Computing.It includesthe dynamic discovery,interaction and coordination of agent-based sem
笔者学校是民族传统体育特色校，在组织“全员运动会”时，将“全员运动”与“民族传统体育特色”结合，不仅丰富了学生体育锻炼的内容，还促使学生在比赛中享受各个民族体育项目带来的乐趣。“全员运动会”不设立个人名次，而是记录各队的集体总分数，学生以竞赛的形式展示了20项民族传统体育项目，在比赛中，学生精神饱满、积极自信。 笔者学校的比赛项目均为体育课堂教学内容，每节体育课分为2个部分，前半部分为正常的体育
学校在培养、发展学生多种素养的同时，深知安全是生命的基础，笔者学校将安全教育融入课程，在课堂教学中，加入安全知识，将地震避险、荒野求生、溺水救援等多项内容，根据学生的能力，整合成集游戏与竞技为一体的“全员运动会”的竞赛项目。 安全“全员运动会”竞技比赛项目为10项，展示项目为3项，团队展演为6项，亲子项目为2项，全校1800余名师生全部参与，学生除了参与比赛之外，还参与裁判员、志愿者、义工等工作
2012年Q3中国社区交友类服务季度覆盖人数持续增长,达到4.22亿人。在社交服务各个细分领域中,微博季度浏览时长达到8.84亿小时,较Q2有明显增长,继续保持社区交友各细分领域用
（○代表本刊记者□代表许成钢教授）○我们知道最近你所做的研究是相当有意思的，其中关于金融危机和金融制度的文章，本刊已经摘要发表，虽然因为删去了模型，部分读者颇感遗憾。《比较
不知从何时开始,“你不理财,财不理你”成了一句家喻户晓的话。但许多朋友在下定决心开始理财时,却连自己基本的财务账目都没能记好,根本不清楚自己有多少财产,这样又如何理
描述了群标识、网络接续码的意义,采用封闭式号码方案,探索群标识在数字交换 ISNETWAN 组网中的应用机制和多点汇接技术。在 SOPHO iS3000 系列数字交换机上,选择封闭式号码
美国空军和海军于1983年初开始联合研制一种从空中发射、具有昼夜巡航能力的反辐射导弹,命名为“默虹”,代号为AGM—136。研制该导弹的主承包商是诺思罗普公司,其次是得克萨
9月23日,全国法院思想政治建设工作会议以视频会议的形式在北京召开。最高人民法院党组书记、院长周强在会上强凋,要深入学习习近平总书记系列重要讲话精神,认真贯彻落实党中