论文部分内容阅读
安全协议形式化分析方法研究
【机 构】
：
中国科学院大学
【出 处】
：
中国科学院大学
【发表日期】
：
2014年期
其他文献
信息技术和对地观测技术的发展正在改变人们获取和应用空间信息的模式，并促使封闭、紧耦合的地理信息系统向开放、松散耦合的空间信息服务方向发展。空间信息服务的广泛应用使
随着软硬件技术的迅猛发展，基于虚拟化技术的计算环境日益变得越来越普遍。虚拟机管理器VMM(Virtual Machine Monitor)作为计算机系统软件中新的一层，其在物理资源管理与系统安