| 摘要 | 第1-6页 |
| ABSTRACT | 第6-8页 |
| 目录 | 第8-10页 |
| 图表目录 | 第10-11页 |
| 第一章 绪论 | 第11-17页 |
| ·VTOS可信可验证操作系统简介 | 第11-12页 |
| ·VTOS中的网络服务INET | 第12-14页 |
| ·研究背景与意义 | 第14-15页 |
| ·论文组织结构 | 第15-17页 |
| 第二章 相关工作 | 第17-21页 |
| ·网络安全技术概述 | 第17页 |
| ·操作系统防火墙技术的相关研究情况 | 第17-19页 |
| ·消息监控技术的相关研究情况 | 第19-20页 |
| ·本文设计与相关工作的异同点 | 第20-21页 |
| 第三章 VTOS网关设计与实现 | 第21-26页 |
| ·VTOS网关包过滤设计与实现 | 第21-22页 |
| ·IP_FLITER_POLICE包过滤安全策略组件 | 第21-22页 |
| ·IP_FLITER包过滤执行组件 | 第22页 |
| ·VTOS网关应用代理设计与实现 | 第22-23页 |
| ·FTP_PROXY代理控制组件 | 第22-23页 |
| ·FTP_CMD请求控制组件 | 第23页 |
| ·FTP_RPY响应控制组件 | 第23页 |
| ·网关服务INET的对象化 | 第23-26页 |
| ·inet对象成员变量 | 第23-25页 |
| ·inet对象成员函数 | 第25页 |
| ·inet对象状态 | 第25-26页 |
| 第四章 网关状态一致性控制原理 | 第26-35页 |
| ·网关状态控制应用场景 | 第26-27页 |
| ·基于消息序列的网关状态一致性控制 | 第27-30页 |
| ·消息序列监控可行性分析 | 第27-28页 |
| ·网关状态一致性控制主要原理 | 第28-30页 |
| ·VTOS网关状态相关消息描述 | 第30-35页 |
| ·VTOS消息结构 | 第30-31页 |
| ·网络服务与文件服务之间的消息 | 第31-33页 |
| ·网络服务与以太网驱动服务之间的消息 | 第33-34页 |
| ·网络服务与安全服务之间的消息 | 第34-35页 |
| 第五章 VTOS网关状态详细分析 | 第35-65页 |
| ·网关启动阶段操作-消息-状态描述 | 第35-43页 |
| ·nw_conf函数操作、状态、消息分析 | 第35-37页 |
| ·nw_prep函数操作、状态、消息分析 | 第37-39页 |
| ·nw_init函数操作、状态、消息分析 | 第39-43页 |
| ·网关启动阶段状态控制 | 第43-47页 |
| ·网关启动阶段状态机 | 第44-45页 |
| ·网关启动阶段状态一致性控制 | 第45-47页 |
| ·网关运行阶段操作-消息-状态描述 | 第47-58页 |
| ·sr_open函数操作、状态、消息分析 | 第49-52页 |
| ·sr_close函数操作、状态、消息分析 | 第52-53页 |
| ·sr_rwio函数操作、状态、消息分析 | 第53-56页 |
| ·sr_cancel函数操作、状态、消息分析 | 第56页 |
| ·write_int函数操作、状态、消息分析 | 第56-58页 |
| ·read_int函数操作、状态、消息分析 | 第58页 |
| ·网关运行阶段状态控制 | 第58-65页 |
| ·网关运行阶段状态机 | 第58-62页 |
| ·网关运行阶段的连接状态一致性控制 | 第62-65页 |
| 第六章 实验设计与分析 | 第65-71页 |
| ·实验环境 | 第65-66页 |
| ·功能验证 | 第66-69页 |
| ·连接控制验证 | 第66-67页 |
| ·语义检查控制验证 | 第67-68页 |
| ·监控日志 | 第68-69页 |
| ·性能分析 | 第69-71页 |
| 第七章 总结与展望 | 第71-73页 |
| 总结 | 第71页 |
| 展望 | 第71-73页 |
| 致谢 | 第73-74页 |
| 参考文献 | 第74-76页 |
| 附录 | 第76-77页 |