公共文化服务平台

共 5 条记录，以下是 1-5

全选清除导出

排序方式：

基于可信概率的电子数据取证有效性模型被引量：16: 2011年; 针对当前证据有效性不足的缺点,结合概率论,提出了基于可信概率的电子数据取证有效性模型.以Petri网为基础,将取证后经形式化处理的数据抽象为Petri网中的库所,操作行为和取证方法抽象为变迁,后一节点为运用该操作方法对前一节点进行某种变换所形成.给出了取证过程中的基本定义和形式化处理方法,研究了概率计算的相关算法,描述了详细的推理过程.利用"可信度+数据源+取证规则"作为对所得证据的有效性说明,为可信取证的动态取证行为可信提供理论基础.通过概率计算的方法,最终得到具体的概率数据,在保证数据源信息可信的基础上(即静态属性可信的假设前提),通过可信概率(概率值接近0或者1)的方法保证处理过程所使用的取证规则可信(即使用可信的动态取证方法或行为),最终实现电子数据作为证据的高的可信度.最后,设计了有效性证明系统,利用实际案例,分析并验证了可信概率在电子数据取证有效性模型中的具体应用.; 孙国梓耿伟明陈丹伟申涛; 关键词：有效性电子数据取证 PETRI网

基于CP-ABE算法的云存储数据访问控制被引量：64: 2011年; 针对云存储服务网络特性和数据共享特性安全问题,提出一种基于CP-ABE算法的密文访问控制机制。从访问权限控制及访问控制体系结构2个方面对上述访问控制机制进行研究。给出相应的安全算法数据结构,并对其进行了仿真和性能分析。该安全机制在服务提供商不可信的前提下,保证在开放环境下云存储系统中数据的安全性,并通过属性管理降低权限管理的复杂度。; 孙国梓董宇李云; 关键词：访问控制

电子商务中的数字取证技术研究被引量：4: 2011年; 针对电子商务交易流程,分析了C2C模式下电子商务"三流"中的安全需求和安全威胁,给出电子商务的数字取证框架,从数字证据的发现、固定、提取、分析、表达等方面对电子商务中的数字取证技术进行了分析,介绍了数字取证过程中所采用的各项关键技术。; 孙国梓徐雯丽朱小龙; 关键词：电子商务 C2C 数字取证

一种基于蜜罐技术的主机取证系统研究: 2010年; 在对取证需求进行分析的基础上,将蜜罐技术应用于主机取证,设计实现了一个主机取证系统。从蜜罐创建、数据传递、行为监视、行为分析等几个方面对系统构建的关键技术进行了详细分析,给出系统实现和测试的结果,验证了方案的可行性。; 孙国梓薛磊李云; 关键词：蜜罐计算机犯罪

基于层次时间自动机的动态行为取证建模方法被引量：1: 2012年; 提出一种新的动态行为取证层次化模型.首先介绍层次时间自动机的概念,接着详细阐述动态行为的层次时间自动机形式化模型及其组合模型,然后分析组合模型中可能存在的非法行为.; 金仙力孙国梓杨庚; 关键词：取证模型形式化方法

全选清除导出

共1页<1>

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