中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Subject: Computer Science (provided by Thomson Reuters)
Title:
基于静态分析的XSM正确性验证
Alternative Title: static analysis-based correctness verification for xen security modules
Author: 邓程 ; 丁丽萍 ; 贺也平 ; 韩伟
Keyword: 静态分析 ; 正确性验证 ; XSM ; 钩子函数 ; Saturn
Source: 计算机应用与软件
Issued Date: 2012
Volume: 29, Issue:9, Pages:1-5,22
Indexed Type: CNKI ; CSCD ; WANFANG
Department: 中国科学院软件研究所;中国科学院研究生院;
Sponsorship: 国家自然科学基金项目(90818012)|“核高基”国家科技重大专项(2010ZX01036-001-002)|中国科学院知识创新工程重要方向项目(KGCX2-YW-125)
Abstract: XSM(Xen Security Module)是虚拟机Xen的安全模型框架,对系统的安全性具有决定性的作用。目前,对类似的强制访问框架的正确性验证研究主要集中于对钩子函数放置的验证。现有检测方法通常路径覆盖不够完整,或者有较高的误报率。对XSM框架的正确性验证问题进行分析,提出一种过程间流敏感、过程内路径敏感的,适用于XSM框架的静态分析方法。该方法通过扩展静态分析工具Saturn,实现了对XSM框架的钩子函数设置的正确性和完备性的验证。经实验验证,该方法具有完全的路径覆盖性,并且具有较高的精确度。
English Abstract: XSM is the security module framework of Xen Virtual Machine,it has crucial role on the security of system.Current researches on correctness verification for mandatory access control framework mainly focus on authorisation of hooks placement verification.All the existing methods either dont cover all paths,or have high false positive rate.In this paper we analyse the correctness verification issue for Xen Security Module framework,and present an inter-procedure flow-sensitive and intra-procedure path-sensitive based static analysis approach for the framework.This approach verifies the accuracy and completeness of hooks placement of the Xen Security Module framework through extending the static analysis tool Saturn.It has been attested by the experiment that this approach achieves full path cover and has quite high accuracy.
Language: 中文
Citation statistics:
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/15385
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
邓程,丁丽萍,贺也平,等. 基于静态分析的XSM正确性验证[J]. 计算机应用与软件,2012-01-01,29(9):1-5,22.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[邓程]'s Articles
[丁丽萍]'s Articles
[贺也平]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[邓程]‘s Articles
[丁丽萍]‘s Articles
[贺也平]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2022  中国科学院软件研究所 - Feedback
Powered by CSpace