您的位置: 专家智库 > >

江苏省高校自然科学研究项目(09KJD520007)

作品数:5 被引量:85H指数:3
相关作者:孙国梓李云董宇陈丹伟耿伟明更多>>
相关机构:南京邮电大学江苏省无线传感网高技术研究重点实验室教育部更多>>
发文基金:江苏省高校自然科学研究项目国家自然科学基金国家科技支撑计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 5篇中文期刊文章

领域

  • 5篇自动化与计算...

主题

  • 2篇取证
  • 1篇电子商务
  • 1篇电子数据
  • 1篇电子数据取证
  • 1篇形式化
  • 1篇形式化方法
  • 1篇有效性
  • 1篇商务
  • 1篇时间自动机
  • 1篇数字取证
  • 1篇取证模型
  • 1篇自动机
  • 1篇蜜罐
  • 1篇蜜罐技术
  • 1篇计算机
  • 1篇计算机犯罪
  • 1篇建模方法
  • 1篇犯罪
  • 1篇访问控制
  • 1篇C2C

机构

  • 5篇南京邮电大学
  • 3篇江苏省无线传...
  • 2篇教育部

作者

  • 5篇孙国梓
  • 2篇李云
  • 1篇薛磊
  • 1篇徐雯丽
  • 1篇耿伟明
  • 1篇杨庚
  • 1篇金仙力
  • 1篇陈丹伟
  • 1篇朱小龙
  • 1篇董宇

传媒

  • 2篇信息网络安全
  • 1篇通信学报
  • 1篇计算机学报
  • 1篇微电子学与计...

年份

  • 1篇2012
  • 3篇2011
  • 1篇2010
5 条 记 录,以下是 1-5
排序方式:
基于可信概率的电子数据取证有效性模型被引量:16
2011年
针对当前证据有效性不足的缺点,结合概率论,提出了基于可信概率的电子数据取证有效性模型.以Petri网为基础,将取证后经形式化处理的数据抽象为Petri网中的库所,操作行为和取证方法抽象为变迁,后一节点为运用该操作方法对前一节点进行某种变换所形成.给出了取证过程中的基本定义和形式化处理方法,研究了概率计算的相关算法,描述了详细的推理过程.利用"可信度+数据源+取证规则"作为对所得证据的有效性说明,为可信取证的动态取证行为可信提供理论基础.通过概率计算的方法,最终得到具体的概率数据,在保证数据源信息可信的基础上(即静态属性可信的假设前提),通过可信概率(概率值接近0或者1)的方法保证处理过程所使用的取证规则可信(即使用可信的动态取证方法或行为),最终实现电子数据作为证据的高的可信度.最后,设计了有效性证明系统,利用实际案例,分析并验证了可信概率在电子数据取证有效性模型中的具体应用.
孙国梓耿伟明陈丹伟申涛
关键词:有效性电子数据取证PETRI网
基于CP-ABE算法的云存储数据访问控制被引量:65
2011年
针对云存储服务网络特性和数据共享特性安全问题,提出一种基于CP-ABE算法的密文访问控制机制。从访问权限控制及访问控制体系结构2个方面对上述访问控制机制进行研究。给出相应的安全算法数据结构,并对其进行了仿真和性能分析。该安全机制在服务提供商不可信的前提下,保证在开放环境下云存储系统中数据的安全性,并通过属性管理降低权限管理的复杂度。
孙国梓董宇李云
关键词:访问控制
电子商务中的数字取证技术研究被引量:4
2011年
针对电子商务交易流程,分析了C2C模式下电子商务"三流"中的安全需求和安全威胁,给出电子商务的数字取证框架,从数字证据的发现、固定、提取、分析、表达等方面对电子商务中的数字取证技术进行了分析,介绍了数字取证过程中所采用的各项关键技术。
孙国梓徐雯丽朱小龙
关键词:电子商务C2C数字取证
一种基于蜜罐技术的主机取证系统研究
2010年
在对取证需求进行分析的基础上,将蜜罐技术应用于主机取证,设计实现了一个主机取证系统。从蜜罐创建、数据传递、行为监视、行为分析等几个方面对系统构建的关键技术进行了详细分析,给出系统实现和测试的结果,验证了方案的可行性。
孙国梓薛磊李云
关键词:蜜罐计算机犯罪
基于层次时间自动机的动态行为取证建模方法被引量:1
2012年
提出一种新的动态行为取证层次化模型.首先介绍层次时间自动机的概念,接着详细阐述动态行为的层次时间自动机形式化模型及其组合模型,然后分析组合模型中可能存在的非法行为.
金仙力孙国梓杨庚
关键词:取证模型形式化方法
共1页<1>
聚类工具0