主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
丁丽萍,周博文,王永吉.基于安全操作系统的电子证据获取与存储.软件学报,2007,18(7):1715-1729
基于安全操作系统的电子证据获取与存储
Capture and Storage of Digital Evidence Based on Security Operating System
投稿时间:2006-02-24  修订日期:2006-06-07
DOI:
中文关键词:  事后取证  实时取证  操作系统  取证行为模型  数据采集  安全保护
英文关键词:post-mordem forensics  real-time forensics  operating system  forensics behavior model  data collection  security and protection
基金项目:Supported by the National Natural Science Foundation of China under Grant No.60373053 (国家自然科学基金); the State Education Ministry's Scientific Research Foundation for the Returned Overseas Chinese Scholars under Grant No.[2003]406 (国家教育部留学回国人员科研启动基金); the Research Collaboration Between the Chinese Academy of Sciences and the Royal Society of the United Kingdom under Grant Nos.20030389, 20032006 (中国科学院与英国皇家学会联合资助项目); the Plan of Hundreds Scientists in the Chinese Academy of Sciences (中国科学院百人计划)
作者单位
丁丽萍 中国科学院,软件研究所,互联网软件技术实验室,北京,100080
北京警察学院,北京,102202
中国科学院,研究生院,北京,100049 
周博文 中国科学院,软件研究所,互联网软件技术实验室,北京,100080
中国科学院,研究生院,北京,100049 
王永吉 中国科学院,软件研究所,互联网软件技术实验室,北京,100080
中国科学院,软件研究所,计算机科学重点实验室,北京,100080 
摘要点击次数: 3537
全文下载次数: 3666
中文摘要:
      基于实时取证的思想,提出了一种安全可取证操作系统(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 obtainted 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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利