安全Linux操作系统及安全Web系统的形式化建模与实现



安全Linux操作系统及安全Web系统的形式化建模与实现

分类1：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机的应用论文→计算机网络论文→一般性问题论文
分类2：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→操作系统论文→网络操作系统论文

安全Linux操作系统及安全Web系统的形式化建模与实现

论文目录
<中文摘要>	第1 页
<关键词>	第4-5 页
<英文摘要>	第5 页
<英文关键词>	第5-10 页
第一章绪论	第10-24 页
· 计算机安全事故	第10-11 页
· 计算机安全威胁	第11-13 页
· 计算机安全与操作系统安全	第13-19 页
· WWW系统的安全性分析	第19-21 页
· 相关术语	第21-24 页
第二章信息安全策略	第24-40 页
· 介绍	第24 页
· 系统的安全需求及安全策略的定义	第24-27 页
· 安全策略的分类	第27-38 页
· 安全策略的选择	第38-39 页
· 小结	第39-40 页
第三章计算机系统访问控制模型	第40-54 页
· 介绍	第40 页
· 基于访问矩阵的信息安全模型	第40-44 页
· 基于点阵的访问控制模型	第44-48 页
· 基于角色的访问控制模型	第48-53 页
· 小结	第53-54 页
第四章 Bell-LaPadula模型	第54-69 页
· 模型介绍	第54-55 页
· 模型元素	第55-57 页
· 模型几个重要的公理	第57-58 页
· 状态转换规则	第58-66 页
· 模型几个重要的定理	第66-68 页
· 小结	第68-69 页
第五章对Bell-LaPadula模型的改造	第69-90 页
· 介绍	第69 页
· Bell-LaPadula模型的局限性	第69-75 页
· 对Bell-LaPadUla模型的改造	第75-83 页
· 改造后的 BLP~+模型的提出	第83-89 页
· 小结	第89-90 页
第六章基于 BLP~+模型的SecLinux安全操作系统的设计与实现	第90-115 页
· 介绍	第90-91 页
· 基于 Linux开发安全操作系统的可能性	第91-92 页
· BLP~+模型在SecLinux安全操作系统中的实现	第92-114 页
· 小结	第114-115 页
第七章 BLP~+模型与安全SecWeb系统	第115-135 页
· WWW系统描述	第115-118 页
· 安全WebServer概念的提出及相应的解决方案	第118-119 页
· 基于BLP~+模型的SecWeb系统描述	第119-134 页
· 小结	第134-135 页
第八章结束语	第135-136 页
<引文>	第136-143 页
附录	第143-144 页
附录A	第143-144 页
附录B	第144 页

本篇论文共144页，点击这进入下载页面。

更多论文
安全Linux操作系统及安全Web系统的
高安全等级防火墙核心技术研究、设
实时异构系统的集成动态调度算法研
面向用户意图的智能人机交互
R&D导向产业技术创新联盟运行管理机
Agent系统通讯理论及组织结构的研究
求解正交表问题的拟物拟人方法
无线传感器网络密钥管理方案的研究
三维复杂模型快速简化及交互方法的
门限签名方案和认证协议的设计与分
三维数据场体绘制中几类问题的研究
基于图象的快速绘制技术的研究
LTLC：面向实时与混成系统的连续时
基于XML的分布式软件体系结构研究
从RSL到SML的翻译程序
LFC语言的模式匹配实现方法
利用双代理系统访问内部WEB服务器
基于口令的认证：协议和应用
基于CORBA的OLAP系统的设计和实现
安全WWW服务器的设计与实现及PKI体
面向Agent软件工程的初步讨论
分布式虚拟环境技术的一些研究
消息中间件管理研究
软件测试的自动分析工具
马拉色菌局部感染豚鼠致病性研究
Bluetooth服务发现协议的验证、实现
基于FAPKC算法的电子税务的设计与实
高速IP加密机的设计和实现
一个基于Internet的MPEG传输系统的
基于IEEE1394的多媒体系统的研究与
一个防火墙远程管理系统的设计与实
基于笔输入的数学公式编辑器
一种基于虚拟组织工作流的ITO管理辅
多门限群签名方案的设计和分析
嵌入式软件开发环境异种计算机互操
一个掌上型嵌入式Linux的实现——p
电子商务中的消息通信平台及其安全
IP网络中服务质量及其实现的研究
持续性房颤患者多因素分析对评估血
日志文件系统在嵌入式存储设备上的
蓝牙下OBEX协议的实现、应用及测试
面向对象的建模原则及其应用
基于XYZ/E的软件体系结构描述及求精
一个内部网络安全保障系统的设计与
公开密钥基础设施(PKI)及电子证书系
防火墙体系下的IPSEC及其策略
遗传算法的若干改进及应用
红旗LINUX图形界面中文输入系统的实
Web应用服务器框架WebFrame的设计和
基于组件的逐步求精程序设计方法
一种基于工作流控制的软件质量管理
应用代理防火墙中央日志审计子系统

访问控制模型论文 Bell-LaPadula模型论文安全操作系统论文安全WEB 服务器论文
版权申明：目录由用户yyyy**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved