论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
近几十年来，运用形式化方法对安全协议进行分析验证一直是信息安全领域研究的热点，而模型检测方法成为近年来安全协议形式化研究的主流，并产生了一系列有效的验证方法和验证工具
【机 构】
：
中国科学院研究生院
【出 处】
：
中国科学院研究生院(本部) 中国科学院研究生院 中国科学院大学
【发表日期】
：
2006年期
其他文献
通过对楼宇管理现状的分析，提出了“楼宇信息系统(BIS)”的概念。BIS是一个基于楼宇空间数据的网络地理信息系统，它充分利用网络资源，在客户端以图形方式显示楼宇空间数据，并可对
DNA分子计算是高性能计算的新兴领域,经过学者们30年的努力,研究出了很多分子计算模型。但大多基于生物技术,在实现上有很多限制。论文引入了一种在分子计算原理和传统计算机
高精加工是当今数控系统发展的主要方向。决定数控系统高速高精性能的重要因素有二,即运动控制算法和运动控制参数。在实现高速高精加工过程中,对数控系统性能指标的分析以及
随着计算机网络技术的广泛应用，网络安全问题已不容忽视，作为一个面向大众的开放系统，计算机网络面临着来自各方面的威胁和攻击。因此，网络安全系统的构建是一个非常重要的问题，它
目前国内高新技术产业园区一般都有自己的经济数据管理系统，但是这些经济数据管理系统往往局限于简单的数据处理，无法提供有关经济运行情况监测、评价以及其它决策支持功能，不能
软件工程技术得到了飞速的发展，软件逐渐开始扮演核心和关键的角色，软件开发也日益引起人们的重视。然而，成本、质量以及用户满意度这三个指标仍然难以同时得到满足，软件开发依然
数据挖掘是从大量的、不完全的、有噪声的、模糊的、随机的数据中提取隐含在其中的、人们事先不知道的、但又是潜在有用的信息和知识的过程。随着信息技术的高速发展，人们积累
随着网络传输速度的成级数的增长，因特网得到了快速的发展，越来越多的应用和服务不断涌现，网络的安全性、实时性、服务质量已经逐渐引起人们的关注．目前，解决网络安全问题最有效的
协同设计(CSCD)是计算机支持的协同工作(CSCW)技术在设计领域中的应用，是当前计算机应用技术的一个重要研究领域。并发控制是CSCD的核心技术，它是协调多用户共享信息的有效手段
红外成像技术作为一种发现、探测和识别目标的手段而在军事及民用场合获得了广泛的应用。在过去几十年中，红外探测器件获得的很大发展，出现了红外焦平面器件等兼具辐射敏感和信