首页> 中文期刊> 《计算机科学》 >LINUX进程间通信的模型检测

LINUX进程间通信的模型检测

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

模型检测是一种强大的自动分析验证技术.分析了LINUX进程间通信的部分源代码并进行手工形式化建模,使用有限状态自动机描述模型,继而转换成SPIN的输入语言PROMELA,对其进行模型检测,验证了系统的有界性和可终止性,并就进程间通信中容易发生的问题提出了改进方案.

著录项

来源
《计算机科学》 |2008年第10期|295-299|共5页
作者
姜玉蓉; 缪力; 张大方; 刘潇潇;
展开▼
作者单位

湖南大学计算机与通信学院;

长沙410082;

湖南大学计算机与通信学院;

长沙410082;

湖南大学软件学院;

长沙;

410082;

湖南大学计算机与通信学院;

长沙410082;

湖南大学计算机与通信学院;

长沙410082;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
模型检测; LINUX; 进程间通信; SPIN; 系统验证;

相似文献

中文文献
外文文献
专利

1. 基于SPIN的Linux管道模型检测研究 [J] . SU Yu-xing ,WANG Jin-bo . 电子设计工程 . 2018,第023期
2. 一种Linux文件入侵检测系统模型——LFIDS [J] . 崔静 ,王凤先 ,李珍 . 计算机研究与发展 . 2006,第0z2期
3. 基于Linux防火墙与入侵检测系统的FIBDS模型 [J] . 刘翌南 . 电力科学与技术学报 . 2005,第002期
4. Linux进程语义安全性检测的稳定模型 [J] . 谭成予 ,董红斌 ,梁意文 . 计算机工程与应用 . 2005,第010期
5. 基于系统调用监控的Linux入侵检测模型设计 [J] . 王泽芳 ,陈小平 ,史烈 . 计算机工程 . 2002,第011期
6. L4进程间通信机制的模型检测方法研究 [C] . 高妍妍 ,李曦 ,周学海 . 第三届中国计算机网络与信息安全学术会议（CCNIS2010） . 2010
7. LINUX内核进程间通信的模型检测研究 [A] . 姜玉蓉 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号