摘要
基于实时取证的思想,提出了一种安全可取证操作系统(security forensics operating system,简称SeFOS)的概念和实现思路.提出了其总体结构,建立了该系统的取证行为模型,对其取证服务和取证机制进行了分析并作了有关形式化描述,阐述了证据数据的采集和安全保护方法,提出把取证机制置于内核,基于进程、系统调用、内核资源分配和网络数据等获取证据的方法,并通过模拟实验验证了SeFOS的可取证性.可取证操作系统的研究对于进一步研究可取证数据库管理系统(forensic database management system,简称FDBMS)和可取证网络系统(forensic network,简称FNetWork)具有重要意义.
In this paper, a kind of security operating system with the mechanism of real-time forensics （called SeFOS） is presented, the general architecture of SeFOS is described, the model of its forensics behaviors is analyzed with some formal method descriptions, and the method of completely collecting and safely storing for the digital evidences is presented. The forensics model of SeFOS is inside the kernel and the evidences are obtalnted from system processes, system calls, resources assigning inside the kernel and network data. Finally, a simulated experiment is designed to validate the efficiency of SeFOS.
出处
《软件学报》
EI
CSCD
北大核心
2007年第7期1715-1729,共15页
Journal of Software
基金
国家自然科学基金No.60373053
国家教育部留学回国人员科研启动基金No.[2003]406
中国科学院与英国皇家学会联合资助项目Nos.20030389
20032006
中国科学院百人计划~~
关键词
事后取证
实时取证
操作系统
取证行为模型
数据采集
安全保护
post-mordem forensics
real-time forensics
operating system
forensics behavior model
data collection
security and protection
