论文部分内容阅读
简述计算机数据取证的基本要求,给出一种计算机数据取证有效性的证明系统,对电子数据取证有效性理念及其体系进行研究。通过对取证方法有效性和所取数据有效性进行一系列的定义和推导,研究计算机数据取证有效性的一种形式化证明方法。利用上述证明方法对一个计算机取证实例进行取证有效性的形式化证明。
一种计算机数据取证有效性的证明方法
【摘 要】
：
简述计算机数据取证的基本要求,给出一种计算机数据取证有效性的证明系统,对电子数据取证有效性理念及其体系进行研究。通过对取证方法有效性和所取数据有效性进行一系列的定
【机 构】
：
南京邮电大学计算机学院,南京邮电大学计算机技术研究所
【出 处】
：
计算机工程
【发表日期】
：
2009年8期
【基金项目】
：
国家自然科学基金资助项目(60703086);国家“863”计划基金资助项目(2004BA811B04)
其他文献
人类自诞生以来,就一直在为改善自身居住条件而同大自然进行着生生不息的斗争。从原始社会的树巢洞穴,到奴隶社会的木屋草棚,再到封建社会逐渐成熟的建筑工艺,人类改造自然、
目的:调查全国中医医疗机构护理队伍建设现状。方法:采用自行设计的调查问卷,于2019年2月对805家中医医疗机构进行调查。结果:805家中医医疗机构护理人力配置低于相关标准,护
作为现代管理理念,“以人为本”管理已经成为一种发展趋势,目前已经在高职院校学生管理工作当中得到了一定程度的应用,有效地推动了学生管理工作的深入开展,但仍然存在一些不
京剧英译是翻译研究中比较特殊的领域。京剧英译不仅涉及语言转换,还涉及语言之外的文化等许多因素。本文探讨京剧英译研究中的一些主要问题,包括：译者主体性、京剧英译译本、
1 城乡一体化建设与耕地保护和土地集约利用的关系（1）城乡一体化建设需要占用一定数量的耕地。改革开放以来，我国城乡一体化水平得到迅速提高，城市发展进入最快时期，据统计，2006年
以实地调查、文献资料调研、专家访谈等方法,研究浙西南民族传统体育旅游的人文资源开发,认为利用现代科技,加强体育旅游人文资源的整合与更新,构架浙西南生态体育旅游模式,
房地产是我国的支柱产业,房价高涨已经成为一个备受关注的社会话题。近年来,我国各个城市商品住房价格持续上涨,2008年随着美国次贷危机引发的全球性金融危机的出现,我国的房
民众对一个国家的经济社会发展预期,关系到国家的前途命运和社会的稳定运行。近几年来,中国经济进入“新常态”,供给侧结构性改革势必带来短期的阵痛,让民众的内心产生一定波动。同时,2018年3月以来,中美两国爆发有史以来规模最大的摩擦摩擦,引发了“中兴事件”等次生舆情,引发人们的强烈关注和讨论,在“内忧外患”的现实挑战下,中国经济会不会因此受到影响?在民众的宏观经济风险认知中,中国经济的实际运行状况是一
随着清洁和可持续能源的迅速发展,高性能储能装置引起了人们的极大关注。作为新型的储能器件,钠离子电容器的两个电极分别为电池性和电容型电极。其中,电池型电极通过钠离子