江苏省高校自然科学研究项目(07KJB520016)
- 作品数:16 被引量:42H指数:4
- 相关作者:王昌达周从华鞠时光宋香梅李志国更多>>
- 相关机构:江苏大学常州江苏大学工程技术研究院更多>>
- 发文基金:江苏省高校自然科学研究项目国家自然科学基金江苏省自然科学基金更多>>
- 相关领域:自动化与计算机技术文化科学更多>>
- 一种新型可靠网络隐蔽信道的研究被引量:4
- 2012年
- 针对传统IP时间隐蔽信道传输速率低,在广域网中缺少一种稳定的时间同步机制,难以实现收发双方间可靠、稳定传输隐蔽信息的问题,提出了一种可靠网络隐蔽信道的模型。这种信道利用在固定时间窗口内发送的IP数据包数量作为载体传输隐蔽信息。通过引入一种新的信息编码机制,显著提高了网络隐蔽信道的传输带宽。进一步提出了一种比特块定界方法,解决了传统IP时间隐蔽信道的时间同步问题。实验结果表明,提出的可靠网络隐蔽信道的传输速率和稳定性均好于传统的IP时间隐蔽信道。
- 王昌达管星星李志国薄兆军
- IP时间隐通道通信协议的研究被引量:2
- 2012年
- 针对现有IP时间隐通道通信工具之间因缺乏统一的协议约束而不能互联互通的问题,在OSI参考模型的基础上建立IP时间隐通道四层协议模型,分析了协议各分层的功能,给出了具体的设计方案,并实现了一个满足分层协议功能要求的IP时间隐通道实用通信软件。
- 王昌达李志国管星星薄兆军
- 关键词:通信协议OSI模型
- IP时间隐通道抗检测技术的研究被引量:3
- 2012年
- 在任何一个网络系统中,时间作为发送方和接收方的共享资源是无法被割断的,这使得IP时间隐通道几乎不可能被根除。通过分析现有的多种IP时间隐通道的检测方法,提出一种不需要计算伪装分布函数反函数的新型抗检测方法,提高了IP时间隐通道的抗检测性。
- 王昌达薄兆军管星星李志国
- 基于抽象和搜索空间划分的安全性判定方法被引量:1
- 2011年
- 为满足访问控制策略安全性快速判定的要求,提出一种基于谓词抽象和验证空间划分的访问控制策略状态空间约减方法,将在访问控制策略原始状态机模型上的安全性分析工作转移到包含较少状态的抽象模型上,并进一步划分抽象模型的验证空间,以提高效率。理论分析和实验数据均表明,其安全性分析所需的时间和空间都得到有效约减。与传统方法相比,它具有速度更快、自动化程度更高等优点。
- 王昌达华明辉周从华宋香梅鞠时光
- 关键词:访问控制谓词抽象
- 基于DCT域实时语音的信息隐藏方法被引量:2
- 2012年
- 为了满足对秘密信息的实时性的需求,提出一种基于DCT域实时语音的信息隐藏方法。该方法使用DirectSound对实时的语音进行捕获,依据人类听觉系统的掩蔽效应,选择DCT中的高频系数,通过量化秘密的音频信息将其嵌入到捕获的原始语音中,通过Socket技术对语音进行实时的传输,并且在秘密信息的提取过程中不需要原始音频载体信息的参与,实现秘密信息的盲提取。实验结果表明,在网络较好的情况下可以有效地借助实时的语音传递秘密信息。
- 王昌达马登峰
- 关键词:捕获离散余弦变换盲提取语音
- 一种隐通道威胁审计的度量方法被引量:12
- 2009年
- 隐通道分析是高等级可信评估的重要指标,在TCSEC、CC和我国的GB17859—1999等标准中均有相关要求.隐通道的威胁审计是隐通道分析的重要组成部分,目前一般使用TCSEC的纯带宽标准,但它并不能全面反映出隐通道的威胁.通过形式化地定义隐通道,研究其可量化属性,分析其空间拓扑结构,建立了一个用于隐通道计算的代数系统.通过引入威胁度和威胁率两个概念给出了一种新的威胁审计度量方法,新方法与已有的纯带宽方法兼容,能够从多个不同的角度对隐通道的威胁程度进行较为全面的度量.进一步,在隐通道代数系统的支持下给出了审计中有关问题的计算方法,形成了一套完整的隐通道威胁审计度量体系.
- 王昌达鞠时光周从华宋香梅
- 关键词:隐通道代数系统
- 基于CES的电子病历签名系统研究与实现被引量:1
- 2010年
- 针对传统电子病历签名较少关注患者的隐私保护问题,提出适用于电子病历的签名方案。该方案采用基于内容提取签名(CES)的算法,实现一种新的安全需求,即在不出示完整病历文档的情况下认证文档中的部分内容。该方案除具有普通数字签名的优点外,还可根据病历所有者的意愿,实现隐私保护的功能。使用C#开发了一个具有实用功能的原型系统。
- 王昌达杨文斌鞠时光
- 关键词:电子病历XML数字签名隐私保护
- 卡尔顿大学研究生教育中的讨论课及启示被引量:11
- 2008年
- 以合作学习为主的讨论课是加拿大卡尔顿大学研究生教育中的一个重要环节,具有教学内容新、信息容量大、学生课堂参与程度高等特点。讨论课不仅能指引学生追踪本学科的尖端研究方向,还能培养学生的科研合作精神,克服研究生教育中教材相对陈旧的顽症。卡尔顿大学的研究生讨论课对我国研究生教育的课程改革的启示是:请名师开设讨论课,追踪本学科研究热点;不同层次学生混合开班,鼓励思想碰撞;采用灵活的分数评定方式;充分利用网络功能。
- 王昌达
- 关键词:研究生教育讨论课
- 信息流图的分割算法
- 2008年
- 一个多级安全系统的信息传递关系是搜索隐通道的重要依据。由于一个大型多安全级软件系统的信息传递关系非常复杂,对其直接进行信息流分析并搜索隐通道的工作量非常大,因此为进一步提高搜索和分析隐通道的效率,提出了一种将信息流图分割成信息流森林的算法。该算法首先选定一棵父树,然后通过边割集中的弧置换父树中的树枝得到新树,并能从理论上保证分割后得到的信息流森林正确继承原图的信息,即原图中信息流既未被割裂也未丢失。通过对每棵信息流树表示的信息流进行分析就可取代对整个信息流图的分析,从而有效降低了分析问题的规模。
- 钱炜鞠时光王昌达宋香梅
- 关键词:信息流隐通道多级安全系统
- 基于UCON的网络银行在线支付及其安全性分析被引量:2
- 2014年
- 通过分析现有网络银行在线支付特点及安全保护机制,发现其支付过程仍存在身份冒充、权限泄露和支付不灵活等问题。针对这些问题,提出使用控制模型UCON的网络银行在线支付模型,制定动态的授权规则和灵活的支付策略,并对提出的策略进行详细描述。通过使用模型检测工具NuSMV进行安全性分析,证明该策略符合网络银行访问控制的安全性和方便性需求,且能够弥补现有系统在身份认证机制和支付行为使用控制方面的不足。
- 王昌达董雪刚周从华
- 关键词:网络银行访问控制支付安全