基于高效I/O模型检测的大规模Web服务验证研究

项目名称： 基于高效I/O模型检测的大规模Web服务验证研究

项目编号： No.61370072

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 吴立军

作者单位： 电子科技大学

项目金额： 75万元

中文摘要： 大规模Web服务是Internet最广泛最重要的应用之一，对大规模Web服务的验证是计算机安全方面一个非常重要的新研究领域。本项目的研究目标是研究大规模系统高效I/O模型检测技术，为大规模Web 服务的安全验证提供高效的途径。具体内容主要包括以下几方面：(1) 提出新的时态认知逻辑体系，这种逻辑体系能更加准确地描述大规模Web服务的安全属性；(2) 研究大规模Web服务的模型化方法；(3) 研究动态和静态内存管理技术, 将深度优先和宽度优先搜索技术从内存扩展到外存, 提出高效I/O模型检测技术，解决因状态空间爆炸和内存不足导致的模型检测无法进行的问题，以此为基础，形成大规模Web服务安全验证的方法和技术；(4) 以上述方法和技术为基础，通过扩展SPIN等著名模型检测工具,设计和实现大规模Web服务验证工具,并对具有代表性的大规模Web服务系统进行安全性验证。

中文关键词： 大规模 Web服务；I/O模型模型检测技术；多反例搜索；；

英文摘要： Large-scale Web service is one of the most extensive and important applications of Internet.The verification for large-scale Web service is a new and important research area in computer security. The aim of the project is to investigate I/O efficient mode

英文关键词： Large Scale Web Service；I/O model Check；Search For Multi Countexamples；；