基于信息流分析的Web服务安全机制研究

摘要	第1-5页
ABSTRACT	第5-8页
第一章 绪论	第8-12页
·研究目的和意义	第8-9页
·国内外研究现状	第9-11页
·本文组织结构	第11-12页
第二章 Web 服务基本概念	第12-17页
·Web 服务简介	第12页
·Web 服务体系结构	第12-13页
·Web 服务核心技术	第13-16页
·本章小结	第16-17页
第三章 信息流分析的一般方法	第17-25页
·基于格模型的信息流原理	第17-19页
·信息流的格模型	第17-18页
·信息流控制机制	第18-19页
·信息流安全的形式化方法	第19-22页
·基于类型系统的方法	第19-21页
·基于语义的方法	第21-22页
·Jif 的安全机制	第22-24页
·分散标签模型及安全策略	第22-23页
·信息流控制的实现	第23-24页
·本章小结	第24-25页
第四章 基于信息流的Web 服务安全机制	第25-37页
·Web 服务面临的安全问题与对策	第25-28页
·基于信息流的机密性保护	第28-32页
·基于信息流的完整性保护	第32-36页
·本章小结	第36-37页
第五章 Web 服务安全的实现	第37-49页
·发布工具的设计与实现	第37-39页
·Web 服务实例发布	第39-43页
·Web 服务测试与分析	第43-48页
·本章小结	第48-49页
第六章 总结与展望	第49-51页
·本文工作总结	第49页
·未来的研究方向	第49-51页
致谢	第51-52页
攻读硕士学位期间发表的论文	第52-53页
缩略词	第53-54页
图表清单	第54-56页
参考文献	第56-59页