国家科技攻关计划(2004BA811B04)
- 作品数：6 被引量：20H指数：3
- 相关作者：孙国梓陈丹伟王海平曹林吴登荣更多>>
- 相关机构：南京邮电大学更多>>
- 发文基金：国家科技攻关计划江苏省高校自然科学研究项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 花指令模糊变换逻辑一致性研究被引量：3
- 2006年
- 花指令模糊变换是代码模糊变换策略中的一种有效方法。在分析现有花指令加密方法的基础上,给出一种随机花指令模糊变换加密方案,并利用形式化方法对其进行了描述。通过研究花指令模糊变换各种形式化的定义,推导出若干引理,从“JMP扩展”、“JMC变换”、“JMP后添加花指令”等3个方面形式化地证明了经上述随机花指令加密算法变换的程序具有与原始程序相同的逻辑性。
- 曹林孙国梓王海平王绍棣
- 关键词：花指令反汇编
- 一种安全移动存储系统的研究与实现被引量：5
- 2009年
- 针对移动存储设备的便利性带来的敏感数据的安全性问题,通过对移动存储设备的安全需求进行分析,提出一种安全的移动存储系统。分析系统中移动存储设备驱动、磁盘扇区读写操作、数据加密存储机制以及防毒策略设置等关键技术,构建一个原型系统,实现对移动存储设备中数据的加密和保护。
- 孙国梓陈丹伟吴登荣
- 关键词：移动存储设备数据加密防毒策略
- 子程序花指令加密算法研究被引量：2
- 2009年
- 根据反汇编器原理,分析现有的花指令加密算法存在的问题,提出了一种新的花指令加密算法——子程序花指令加密算法。详细论述了子程序花指令加密的工作流程和算法描述,分析了此算法的有效性和逻辑一致性。最后,通过算法的具体实现,对其有效性和逻辑一致性进行了验证。
- 孙国梓蔡强陈丹伟
- 关键词：花指令加密算法反汇编
- 随机花指令加密算法研究被引量：6
- 2006年
- 在对已有的花指令加密策略及其存在的问题进行分析的基础上,提出了随机花指令加密算法。给出了该算法的JMP扩展和JMC变换两种基本策略,研究了随机花指令的算法的工作流程和算法描述,并采用自编写的JCEE软件对上述算法进行了具体实践。
- 王海平曹林孙国梓陈丹伟
- 关键词：花指令加密算法反汇编
- 基于隔离技术的个性化桌面保护系统
- 2006年
- 信息安全乃至个人信息的安全随着信息化的普及逐渐成为社会关注的焦点。借鉴物理隔离的思想,提出一种基于隔离技术的、可个性化配置的桌面保护系统,克服用户在上网过程中的权限透明问题,有效保证个人信息安全。在分析上述个性化桌面保护系统相关技术的基础上,给出其控制模型并对该模型进行了描述。最后,对个性化桌面保护系统所涉及的类物理隔离技术、基于角色的访问控制、信息强审计、信息流向控制、用户访问日志等关键技术进行了详细阐述。
- 王海平陈丹伟孙国梓
- 关键词：物理隔离个性化访问控制
- 电子数据取证及其有效性研究被引量：5
- 2006年
- 在分析电子数据取证的发展及其存在问题的基础上,对电子数据取证有效性理念及其体系进行了研究。给出电子数据取证的流程,并就这一流程中的有效性规则处理模块和取证有效性证明模块进行了阐述。通过对取证方法有效性和所取数据有效性进行一定的定义和推导,研究了电子数据取证有效性的形式化证明方法。
- 唐娟王海平孙国梓陈丹伟
- 关键词：电子数据取证计算机犯罪
