论文部分内容阅读
认证协议的设计是一项十分困难的工作，国际标准化组织（ＩＳＯ）一直臻力
认证协议的形式化分析
【摘 要】
：
认证协议的设计是一项十分困难的工作，国际标准化组织（ＩＳＯ）一直臻力
【出 处】
：
软件学报
【发表日期】
：
1996年A00期
其他文献
随着经济全球化的发展和中国加入WTO以后,中国高等教育改革不断深化,更加注重大学生素质的提高,加强大学生的文化素养,以培养适应社会发展的国际化人才。英语学习在高等教育
图书馆信息资源整合是提升其信息资源保障能力和整体服务能力的需要,是图书馆事业发展的必然趋势。阐述了图书馆信息资源整合的技术特性、整合模式、制约因素等问题。
本文从少儿图书室工作的重要意义入手,通过对少年儿童几个不同年龄阶段阅读特点的分析,提出了开展阅读辅导工作的一些方式和方法,探讨了数字型少儿图书室的发展方向,并强调了
本文针对机器人在实际环境中执行任务时所面临的不确定性和实时性提出了一种基于反射的规划方法，该方法在较好地利用全局信息的基础上，充分发挥出机器人自身的能动的反射作用，我
试图通过提高质粒拷贝数来提高宋内Ｉ相Ｏ－抗原的表达水平，先将宋内Ｉ相Ｏ－抗原基因亚克隆至高拷贝的ｐＵＣ１８和ｐＧＥＭ３Ｚ，但没能找到相应的阳性转化子，可能Ｏ－抗原基因在高拷贝质粒上表达水平太高对宿主产生毒
本文通过对近１０年命题时态逻辑定理证明方法的研究，提出了一种新的证明方法，前人的工作基于对公式的现时部分和后时部分的分解，本文的工作是基于语义反驳树构造。这种新方法为计算
文章确立了高校图书馆信息服务定位与拓展的基本依据,分析了影响高校图书馆信息服务定位与拓展的几个因素。在此基础上,提出了高校图书馆信息服务定位与拓展的基本思路。
血行播散是乳腺癌转移的重要途径,检测腋窝淋巴结已经不能完全准确判断乳腺癌患者是否存在转移。肿瘤细胞进入外周血是肿瘤远处转移的前提,对乳腺癌患者循环肿瘤细胞的检测将
随着集成电路的发展，集成度的提高，特别是８０年代中期专用集成电路的出出，数字系统的高层次综合已成为数字系统设计的一种实用的，有效的设计方法。本文讨论高层次综合中的分配问题，首