江苏省自然科学基金(BK2004015)
- 作品数：9 被引量：9H指数：2
- 相关作者：肖军模刘军刘晶伏飞于泠更多>>
- 相关机构：解放军理工大学南京审计大学国家电网公司更多>>
- 发文基金：江苏省自然科学基金国家自然科学基金江苏省教育厅自然科学基金更多>>
- 相关领域：自动化与计算机技术交通运输工程电气工程更多>>
- 探讨JAVA的安全性改造与验证被引量：1
- 2007年
- 讨论了OO语言的安全改造问题;给出了以扩展军用安全模型(EMSM)为基础的多级信息流安全控制原理,依据EMSM模型的要求把非安全的JAVA改造成安全语言sJAVA;讨论了sJAVA语言中主要的可执行语句的安全执行条件;以实例说明了sJAVA程序的安全性验证方法。
- 肖军模刘军于泠
- 关键词：军用安全模型
- 基于分簇空天信息网络节点接入认证机制研究被引量：2
- 2021年
- 相较于传统地面网络,开放性更强的空天信息网络存在卫星节点接入认证与密钥更新难等安全问题。针对以上问题,着重研究了导航卫星系统中网络节点的接入互信认证机制,并提出了一种基于分簇空天信息网络的轻量级接入认证方案。安全分析显示,所提方案能够有效抵御空天信息网络中身份假冒、消息重放、中间人攻击等多种典型安全威胁。实验结果表明,卫星节点在接入认证过程中所需计算开销更少,能够实现导航卫星系统在资源受限条件下的安全组网认证。
- 芮立刘军
- 关键词：分簇接入认证对称加密
- 一种高压输电线宽带IP通信方案及应用被引量：1
- 2005年
- 随着变电站自动化技术的发展和多媒体调度系统的应用,通信带宽的需求越来越大,传统基于4kHz模拟频带的电力线载波通信已经不能满足现代化通信要求。本文提出了一种基于全可用频段的高压输电线宽带IP通信方案和设计,能够提供点到点的高速IP连接且具有路由功能,并介绍了该方案可能的应用场合。
- 李万林郭经红彭振华
- 关键词：电力线通信高压输电线通信方案宽带IP电力线载波通信
- 一种新的移动Ad hoc网络安全路由协议被引量：2
- 2007年
- Buttyan L.等指出了移动Ad hoc网络典型安全路由协议Aridane的缺陷,并提出了一种自称可以抵御ac- tive-1-y(y≥1)型攻击的路由协议EndairA。文章通过分析发现EndairA不能抵御一种active-0-1型攻击,即中间人攻击,并据此提出了一种新的安全路由协议EndairALoc。分析表明EndairALoc不仅保持了EndairA原有的安全性,而且还能够抵御中间人攻击和虫洞攻击。另外该协议采用对称密钥机制替代了EndairA中使用的公钥签名机制,降低了安全路由所需的能耗。
- 刘晶伏飞肖军模
- 关键词：ADHOC网络路由协议
- 不可控网络拓扑发现关键技术被引量：2
- 2007年
- 为了提高利用路由探测进行不可控网络拓扑发现的准确性,特别是解决别名问题,提出了一种全新的节点地址整合算法。不借助其他的外部输入,只依据同一IP地址在不同路由探测结果中的位置,对与其相邻的IP地址之间的关系进行推断。在描述了算法原理和流程的基础上,对其他相关问题进行了分析说明。形成一套完整的可以实际操作的不可控网络拓扑发现方案。分析结果表明,该算法在复杂度和使用范围上,较以往算法有较大的简化和扩充。
- 白玮刘军严庆
- 关键词：拓扑发现
- 基于改进军用安全模型的sJava语言
- 2009年
- 为了发现、控制软件中的非法信息流,利用改进后的军用安全模型对Java语言的安全性进行扩展,提出了一种基于类型的信息流控制方法。将安全级别编码为程序中的类型,并利用定型规则发现非法的信息流,扩展后的语言称为sJava。给出了sJava类型安全性的证明,实现了对开源的Java编译器Jikes的安全性改造。结果表明,sJava语言源程序能直接编译成字节码,不增加系统的运行负载。
- 于泠陈波肖军模
- 关键词：信息流控制军用安全模型JAVA
- 安全数据库数据层推理泄漏检测方法
- 2005年
- 普通权限用户通过查询并结合数据库的其他知识,绕过安全机制,进行间接推理获取非授权信息,从而造成安全数据库敏感信息的推理泄漏。针对这一问题,提出了一种数据层的推理泄漏检测方法。该方法在形式化描述的基础上,根据数据库的约束规则和用户查询数据,基于逻辑推理实现了推理泄漏的检测。理论分析和测试结果表明该方法能够全面、有效地获取用户查询结果中实际蕴含规则,运用这些规则,可以使推理检测的正确率达到81.3%。
- 张增军戴江山肖军模
- 关键词：安全数据库
- 一种不可否认协议形式化设计方法
- 2008年
- 针对目前尚无不可否认协议的形式化设计方法,提出一种基于逻辑的不可否认协议形式化设计方法,包括逻辑语言、定理、推理规则及合成规则。协议设计者用逻辑语言描述协议目标,由该目标出发,运用合成规则逐步推导出一个含可信第三方的不可否认协议。实例证明该方法可以很好地用于辅助不可否认协议的设计与改进。
- 刘晶伏飞肖军模陆阳
- 关键词：不可否认协议形式化设计逻辑可信第三方
