国家密码发展基金(MMJJ201101009)
- 作品数：3 被引量：12H指数：2
- 相关作者：陈铁明江颉葛亮何卡特更多>>
- 相关机构：浙江工业大学北京航空航天大学更多>>
- 发文基金：浙江省自然科学基金国家密码发展基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于模型检测的无线传感网安全协议形式化分析与改进被引量：1
- 2013年
- 针对Zhang等人提出的一种基于位置的无线传感网络安全方案,开展基于模型检测的形式化分析与改进研究。首先采用模型检测工具SPIN分析和验证邻居节点认证协议,发现节点移动后将导致邻居节点无法认证的问题;为支持节点可移动,直接对协议给出一种改进方案,并采用模型检测对改进后的协议重新建模分析,发现存在中间人攻击威胁;最后根据模型检测结果,进一步提出用时间戳替换随机数的改进方案,可有效抵御中间人攻击。本文工作表明,模型检测不仅能实现对无线传感网络安全协议的形式化分析与验证,还可有效协助实现安全协议的设计与改进。
- 陈铁明何卡特江颉
- 关键词：无线传感器网络安全协议线性时序逻辑
- 面向无线传感器网络的混沌加密与消息鉴别算法被引量：5
- 2013年
- 针对数字混沌密码无法直接在轻量的传感节点上实现,介绍了一种基于整数型混沌映射的轻量级分组加密算法,并提出一种新型的消息鉴别码方案,具有输出长度可变、混沌序列复合安全等特点,最后实现了一个完整的无线传感网数据安全传输应用方案,并在Mica2节点上给出性能分析。实验表明该方案对无线传感网具有更高的实用性。
- 陈铁明葛亮
- 关键词：无线传感器网络混沌映射分组加密散列函数
- 基于敏感等级的云租户数据安全保护模型研究被引量：6
- 2014年
- 为云计算提供有效的租户数据安全保护,提出一个第三方租户数据安全保护模型,解决租户数据的存储和检索安全问题.模型采用隐藏数据间关系的方法,对租户数据进行切片,利用单向函数混淆切片关系;结合租户对数据的隐私需求和安全等级定义,给出租户数据的分级方法;依据安全等级对分割后的子表内容进行局部加密或匿名,实现云端数据存储安全;结合私有信息检索技术,利用云端加密数据的关键字检索算法,隐藏租户搜索请求,保护云端数据的检索安全.实验表明,该模型能满足租户数据在未知云环境中的存储和检索安全要求.
- 江颉顾祝燕高俊骁陈铁明
- 关键词：云安全等级保护数据分割隐私保护
