站点首页 最近更新 图书分类 下载推荐 下载排行 技术论坛  
书库下载
设为首页
联系我们
加入收藏
高级搜索
 
  您的位置:首页 > 下载分类 > 科技期刊 > 计算机类 > 病毒安全 >
  栏目导航
  本类下载排行
Linux中SystemV进程通信机制安全性形式化验证
下载级别: 游客
文件类型: pdf
图书格式: PDF
图书大小: 222KB
图书等级:
图书登陆: admin
整理时间: 2008-09-01
图书简介:

[作 者] 吴丹 刘芳 等

[机 构] 国防科技大学计算机学院,湖南长沙410073

[刊 名] 计算机工程与科学-2002.24(2).-13-17

[文 摘] 基于Linux开发安全操作系统是提高计算机安全的重要途径,而形式化验证则是开发过程的重要和必要的环节,我们从Linux的各个子系统着手进行验证,逐步搭建起整个操作系统的验证模型。考虑到访问控制机制是实现操作系统安全性的关键,本文主要讨论使用SPIN模型检验器对IPC子系统中的SystemV进程通信机制进行形式化验证的过程与方法。查找安全漏洞并改进现有的机制,为开发工程提供理论上的保证。
下载地址: 本地下载
下载帮助:

相关图书:
.计算机网络病毒及防范措施  (2008-09-01)
.网络型病毒与计算机网络安全  (2008-09-01)
.计算机网络病毒防治的应用探索  (2008-09-01)
.计算机网络系统防病毒解决方案  (2008-09-01)
.计算机网络安全及保密对策  (2008-09-01)
.基于神经网络算法的计算机网络优化模型研究  (2008-09-01)
.计算机网络防感应雷浅谈  (2008-09-01)
.数据备份系统在企业计算机网络中的应用  (2008-09-01)
.主防御计算机网络病毒  (2008-09-01)
.计算机网络信息保密工作中存在的问题与对策  (2008-09-01)
 


RAR压缩文件请使用WinRAR3.4以上进行解压;[点击下载]
ISO格式光盘镜像文件请用虚拟光驱软件Alcohol120%打开;[点击下载]
PDF格式文件请使用Adobe Acrobat Reader打开阅读;[点击下载]
PDG格式文件请用BooXViewer阅读器打开;[点击下载]
WDL格式文件请用WDL文件阅读器打开;[点击下载]
如不能正常播放本站的视频文件,请安装最新暴风影音播放器。[点击下载]

☉更多、更好的资源,请访问

☉本站所有资源均是网上搜集或私下交流学习之用,任何涉及版权问题,请来信告知,我们会及时进行删
 除。本站仅仅提供一个观摩学习的环境,所有软件图书均为介绍。所有资源请在下载后24小时内删除。
 如果您觉得满意,请与相关出版社或作者联系,购买正版!本站严厉谴责和鄙夷一切利用本站资源进行
 牟利的盗版行为!

 

  最新增加
关于本站 | 广告服务 | 联系站长 | 版权声明 | 网站地图 | 留言板 | 发布图书
© 2008 bookku.net Corporation. All rights reserved. Powered BY: Edown Version 2.1
如有任何疑问,请联系本站QQ:24620962