您的位置： 专家智库 > >

国家自然科学基金(61003288)

作品数：15 被引量：24H指数：3
相关作者：王昌达周从华李志国管星星薄兆军更多>>
相关机构：江苏大学中国人民解放军73106部队南京理工大学更多>>
发文基金：国家自然科学基金江苏省高校自然科学研究项目国家教育部博士点基金更多>>
相关领域：自动化与计算机技术理学机械工程更多>>

文献类型

  • 14篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 2篇数据包
  • 2篇通信
  • 2篇区间值
  • 2篇网络
  • 1篇带宽
  • 1篇定理
  • 1篇抖动
  • 1篇信道
  • 1篇信息系统
  • 1篇银行
  • 1篇隐蔽信道
  • 1篇有界
  • 1篇语义块
  • 1篇元数据
  • 1篇在线支付
  • 1篇展开定理
  • 1篇支付安全
  • 1篇知识表示
  • 1篇数据区
  • 1篇数据区域

机构

  • 14篇江苏大学
  • 1篇南京理工大学
  • 1篇五邑大学
  • 1篇中国人民解放...
  • 1篇常州江苏大学...

作者

  • 9篇王昌达
  • 5篇周从华
  • 4篇薄兆军
  • 4篇管星星
  • 4篇李志国
  • 2篇谢军
  • 2篇鞠时光
  • 1篇刘扬宽
  • 1篇施化吉
  • 1篇牛德姣
  • 1篇蔡涛
  • 1篇石廷娟
  • 1篇李帅
  • 1篇王天擎
  • 1篇王志斌
  • 1篇周海军
  • 1篇孔燕燕
  • 1篇章乐
  • 1篇宫婷婷

传媒

  • 4篇计算机应用研...
  • 2篇计算机工程
  • 2篇计算机应用
  • 1篇计算机研究与...
  • 1篇计算机学报
  • 1篇计算机工程与...
  • 1篇系统仿真学报
  • 1篇计算机科学
  • 1篇江苏大学学报...

年份

  • 3篇2014
  • 4篇2013
  • 8篇2012
共 15 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种可靠双盲的IP时间隐通道被引量：1
2012年
针对现有的IP时间隐通道需要事前约定IP数据包的时间间隔与传输信息之间的编码方案,不能在收发过程中根据网络的传输质量进行双盲动态调整的问题,提出了一种IP时间隐通道编码方案的双盲动态调整策略。该策略通过细分网络环境,并针对不同网络环境动态选择预设的编码方案,实现了收发双方间编码方案的双盲动态调整。为了验证策略的可靠性,实现了这种可靠双盲的IP时间隐通道。实验结果表明,该策略能够较好地实现收发双方间的双盲动态调整。
管星星王昌达李志国薄兆军
关键词：抗干扰
一种基于Petri网的隐蔽信息流分析方法被引量：2
2012年
隐蔽信息流分析是开发高等级可信计算机系统必须面对的问题.以Petri网作为开发安全系统的形式化建模工具,给出Petri网中隐蔽信息流存在的判定条件.提出该条件成立的两种网结构,进而可以在语法层次上预先判断隐蔽信息流的存在性,并使由此类结构引起的隐蔽信息流在系统的设计阶段得以避免.开发了一种基于Petri网可达图的隐蔽信息流存在性判定算法,算法遵循无干扰方法的思想,但是避免了无干扰方法中等价状态的区分和展开定理的使用.另外,算法采用深度优先搜索的策略,避免了Petri网全局可达图的构造.对复杂的安全系统,分析了子系统的各种组合运算对隐蔽信息流存在性的影响,降低了大规模系统分析的复杂度.
周从华鞠时光
关键词：无干扰PETRI网展开定理
NVMMDS——一种面向非易失存储器的元数据管理方法被引量：3
2013年
元数据管理方法是影响文件系统性能的重要因素.针对现有元数据管理方法存在的查找性能低、适应性差和丢失元数据等问题,设计了面向非易失存储器的元数据管理方法(NVMMDS).首先针对元数据的访问特性和管理要求,给出了NVMMDS的结构和元数据管理流程,混合使用非易失存储器和DRAM存储元数据,为提高元数据查找性能和避免丢失元数据奠定了基础;设计了基于NVBB树的元数据查找算法和基于主动写回的元数据缓存算法,提高了元数据的查找性能,增强了元数据管理方法的适应能力,避免了元数据丢失问题.与现有元数据管理方法进行了分析和比较,在单机文件系统ReiserFs和分布式文件系统pNFS中实现了NVMMDS原型,使用FileBench和多个标准数据集进行了测试与分析,验证了NVMMDS能提高文件系统最大35%的操作处理速度和I/O性能.
蔡涛牛德姣刘扬宽李帅鞠时光
关键词：非易失存储器
一种新型可靠网络隐蔽信道的研究被引量：4
2012年
针对传统IP时间隐蔽信道传输速率低,在广域网中缺少一种稳定的时间同步机制,难以实现收发双方间可靠、稳定传输隐蔽信息的问题,提出了一种可靠网络隐蔽信道的模型。这种信道利用在固定时间窗口内发送的IP数据包数量作为载体传输隐蔽信息。通过引入一种新的信息编码机制,显著提高了网络隐蔽信道的传输带宽。进一步提出了一种比特块定界方法,解决了传统IP时间隐蔽信道的时间同步问题。实验结果表明,提出的可靠网络隐蔽信道的传输速率和稳定性均好于传统的IP时间隐蔽信道。
王昌达管星星李志国薄兆军
IP时间隐通道通信协议的研究被引量：2
2012年
针对现有IP时间隐通道通信工具之间因缺乏统一的协议约束而不能互联互通的问题,在OSI参考模型的基础上建立IP时间隐通道四层协议模型,分析了协议各分层的功能,给出了具体的设计方案,并实现了一个满足分层协议功能要求的IP时间隐通道实用通信软件。
王昌达李志国管星星薄兆军
关键词：通信协议OSI模型
IP时间隐通道抗检测技术的研究被引量：3
2012年
在任何一个网络系统中,时间作为发送方和接收方的共享资源是无法被割断的,这使得IP时间隐通道几乎不可能被根除。通过分析现有的多种IP时间隐通道的检测方法,提出一种不需要计算伪装分布函数反函数的新型抗检测方法,提高了IP时间隐通道的抗检测性。
王昌达薄兆军管星星李志国
基于UCON的网络银行在线支付及其安全性分析被引量：2
2014年
通过分析现有网络银行在线支付特点及安全保护机制,发现其支付过程仍存在身份冒充、权限泄露和支付不灵活等问题。针对这些问题,提出使用控制模型UCON的网络银行在线支付模型,制定动态的授权规则和灵活的支付策略,并对提出的策略进行详细描述。通过使用模型检测工具NuSMV进行安全性分析,证明该策略符合网络银行访问控制的安全性和方便性需求,且能够弥补现有系统在身份认证机制和支付行为使用控制方面的不足。
王昌达董雪刚周从华
关键词：网络银行访问控制支付安全
基于概念图和权重优化的智能学习模型
2013年
提出一种基于概念图和权重优化的智能学习方法。通过将教学内容中的知识点抽象为概念图,在学生学习后,利用测试栈依据权重优化的方法进行有针对性的测试题目抽取,根据测试的结果向学生个性化地投放教学内容,以此实现智能化、个性化的学习。通过模型分析可知,与传统智能教学系统相比,基于概念图和权重优化的智能学习可提高学生的学习效率。
王昌达石廷娟
关键词：概念图知识表示
Characterizing Petri Nets with the Temporal Logic CTL
Model checking is a powerful technique for verifying systems and detecting errors at early stages of the desig...
Liu Zhifeng School of Computer Science and Telecommunication Engineering,Jiangsu University Zhenjiang,China Xing Zhihu School of Computer Science and Telecommunication Engineering,Jiangsu University Zhenjiang,China
不完备序区间值决策系统中所有可信规则的获取被引量：3
2014年
研究了含区间值的不完备复杂信息系统,其不仅包含遗漏型未知属性值,而且属性值域为全序集.根据区间值特点给出其遗漏型和填充式区间值概念,并定义了不完备序区间值决策系统;然后,提出了区间段值概念和基于区间段值的序决策系统,其中引入灰的白化方法以将填充式区间值转换为区间段值;接着,提出基于区间段值的优势和弱势描述子,用以获取序区间段值决策系统中的所有可信规则并给出具体算法步骤;最后,用实例进行了验证.试验分析的结果表明了该方法的有效性.
周海军谢军
关键词：粗糙集区间值描述子
全选 清除 导出
共2页<12>
聚类工具0