王海平
- 作品数：7 被引量：35H指数：3
- 供职机构：南京邮电大学计算机学院更多>>
- 发文基金：国家科技攻关计划国家科技重大专项江苏省高校自然科学研究项目更多>>
- 相关领域：自动化与计算机技术政治法律更多>>
- 花指令模糊变换逻辑一致性研究被引量：3
- 2006年
- 花指令模糊变换是代码模糊变换策略中的一种有效方法。在分析现有花指令加密方法的基础上,给出一种随机花指令模糊变换加密方案,并利用形式化方法对其进行了描述。通过研究花指令模糊变换各种形式化的定义,推导出若干引理,从“JMP扩展”、“JMC变换”、“JMP后添加花指令”等3个方面形式化地证明了经上述随机花指令加密算法变换的程序具有与原始程序相同的逻辑性。
- 曹林孙国梓王海平王绍棣
- 关键词：花指令反汇编
- 一种计算机数据取证有效性的证明方法被引量：3
- 2009年
- 简述计算机数据取证的基本要求,给出一种计算机数据取证有效性的证明系统,对电子数据取证有效性理念及其体系进行研究。通过对取证方法有效性和所取数据有效性进行一系列的定义和推导,研究计算机数据取证有效性的一种形式化证明方法。利用上述证明方法对一个计算机取证实例进行取证有效性的形式化证明。
- 陈丹伟孙国梓唐娟王海平
- 关键词：计算机数据取证有效性计算机犯罪
- 虚拟专用网分类和比较研究被引量：17
- 2006年
- 给出了一个比较好的VPN分类标准,提出了一个较为完整和系统的VPN系统分类图。在介绍每种VPN的基础上,阐述了对各种VPN特点的评价,并比较了MPLS VPN与IPSec VPN、IPSec VPN与SSL VPN的优缺点。
- 李频唐家益陈丹伟王海平
- 关键词：虚拟专用网
- 随机花指令加密算法研究被引量：6
- 2006年
- 在对已有的花指令加密策略及其存在的问题进行分析的基础上,提出了随机花指令加密算法。给出了该算法的JMP扩展和JMC变换两种基本策略,研究了随机花指令的算法的工作流程和算法描述,并采用自编写的JCEE软件对上述算法进行了具体实践。
- 王海平曹林孙国梓陈丹伟
- 关键词：花指令加密算法反汇编
- 电子数据取证有效性关键技术研究被引量：2
- 2006年
- 计算机犯罪,特别是网络对象犯罪给世界各国带来了巨大的经济损失和人力、物力、财力消耗。据美国2004年CSI/FBI计算机犯罪和安全调查报告表明,仅在2004年美国调查的494起网络安全事件中,经济损失就高达1.4亿美元,而这些事件只占所有事件的36%,网络对象犯罪仍然是网络安全的巨大威胁。打击犯罪的关键在于获得充分、可靠和强有力的证据。计算机犯罪和其他犯罪的很多证据都以电子数据形式通过计算机或网络进行存储和传输,因此计算机取证(ComputerForensics)主要表现为电子数据的取证(DigitalDataForensics)。作为计算机科学、信息安全科学、法学和刑事侦查学交叉学科的计算机取证有着重要地位。
- 王海平陈丹伟孙国梓
- 关键词：电子数据计算机犯罪计算机取证安全事件计算机科学
- 基于隔离技术的个性化桌面保护系统
- 2006年
- 信息安全乃至个人信息的安全随着信息化的普及逐渐成为社会关注的焦点。借鉴物理隔离的思想,提出一种基于隔离技术的、可个性化配置的桌面保护系统,克服用户在上网过程中的权限透明问题,有效保证个人信息安全。在分析上述个性化桌面保护系统相关技术的基础上,给出其控制模型并对该模型进行了描述。最后,对个性化桌面保护系统所涉及的类物理隔离技术、基于角色的访问控制、信息强审计、信息流向控制、用户访问日志等关键技术进行了详细阐述。
- 王海平陈丹伟孙国梓
- 关键词：物理隔离个性化访问控制
- 电子数据取证及其有效性研究被引量：5
- 2006年
- 在分析电子数据取证的发展及其存在问题的基础上,对电子数据取证有效性理念及其体系进行了研究。给出电子数据取证的流程,并就这一流程中的有效性规则处理模块和取证有效性证明模块进行了阐述。通过对取证方法有效性和所取数据有效性进行一定的定义和推导,研究了电子数据取证有效性的形式化证明方法。
- 唐娟王海平孙国梓陈丹伟
- 关键词：电子数据取证计算机犯罪
