浙江省自然科学基金(Y106290)
- 作品数：8 被引量：29H指数：4
- 相关作者：陈铁明蔡家楣刘多王卫红龚荣盛更多>>
- 相关机构：浙江工业大学北京航空航天大学辛辛那提大学更多>>
- 发文基金：浙江省自然科学基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Prolog的安全协议在线自动化分析
- 2008年
- 基于串空间理论和约束消减方法,提出安全协议可达性分析模型;采用Prolog实现模型自动推理,利用XSB的Java接口实现基于Web的自动分析工具。
- 陈铁明张杰蔡家楣
- 关键词：形式化串空间PROLOG
- 神经网络密码学研究综述被引量：8
- 2007年
- 简述了传统密码学的重要性、研究现状和发展方向,针对神经网络密码学,归纳了该研究的几个主要方面:混沌神经网络密码学、神经网络可视密码学和神经网络密码协议,讨论了各个方面的研究类型、过程机理、影响因素、进展与现状,指出了目前研究中存在的关键问题和可能的改进方向。
- 蔡家楣刘多陈铁明
- 关键词：密码学人工神经网络混沌神经网络可视化
- 无线传感器网络上基于Tate对的身份认证方案设计与实现
- 2010年
- 身份密码学已在安全认证中得到了较广泛的应用。双线性对是近几年发展起来的一个构造密码体制的重要工具。在研究双线性对构造密码体制的基础上,提出了一个基于ID的标准身份认证方案。该方案在被动攻击下可防止冒充,同时在性能上比较高效。在TinyOS的传感器网络环境下实现了该身份认证方案。仿真结果证明该认证方案有效可行。
- 王卫红崔义玲陈铁明
- 关键词：无线传感器网络双线性对TINYOS
- 椭圆曲线密码体制在WSN上的应用被引量：1
- 2009年
- 分析椭圆曲线等公钥技术在无线传感器网络中的应用。介绍无线传感器网络操作系统TinyOS的体系结构、NesC程序开发基本流程和基于TinyOS的椭圆曲线密码库TinyECC。利用TinyECC设计并实现基于椭圆曲线密码体制的轻量级节点验证协议。分析结果证明该协议在无线传感器网络上可行。
- 王卫红林玉炳陈铁明
- 关键词：无线传感器网络椭圆曲线密码体制身份认证协议
- 一种新的快速模糊规则提取方法被引量：7
- 2008年
- 提出一种高效的规则提取算法,采用熵测量改进Chi-merge特征区间离散化方法,模糊划分输入空间.先为每个数据生成单条规则,再聚集相同前项的单条规则产生带概率属性的分类规则.提取的规则无需任何调整,应用模糊推理便可获得较理想的分类效果,同时支持增量式规则更新.最后给出了新方法的性能测试结果.
- 陈铁明龚荣盛SAMUEL H Huang
- 关键词：模糊规则离散化模糊推理
- 基于双线性对的可认证密钥协商协议被引量：4
- 2008年
- 针对Smart等人提出的密钥协商方案存在主密钥托管单点失效安全问题,提出两个新的可认证双线性对密钥协商协议:一个通过向可信第三方获取对方注册的公钥,及实体唯一持有的私钥,实现身份认证和密钥协商;另外直接给出一个无第三方的简单密钥协商方案,先利用椭圆曲线上的数乘实现节点安全认证,再通过双线性对生成会话密钥。最后分析两个协议均满足基本的密钥协商安全属性,并给出协议性能的综合分析。
- 陈铁明叶敏克蔡家楣
- 关键词：密钥协商双线性对密钥托管
- 一种基于神经网络权值同步的TinySec协议密钥更新方案被引量：5
- 2009年
- 一种新的神经网络模型通过输出互学习可实现内部权值同步,将该模型用于安全密钥协商具有计算耗费低、通信量少等特点。在介绍权值同步模型的基础上,结合传感器网络安全协议TinySec的密钥更新问题,提出一种基于神经网络权值同步的轻量级密钥更新方案,有效解决了运行TinySec协议的节点密钥文件更新,增强了TinySec协议安全性。
- 蔡家楣严杜鹃陈铁明
- 关键词：传感器网络神经网络密钥更新
- 神经密码协议模型研究被引量：6
- 2009年
- 利用离散的神经网络模型构建密码协议是信息安全领域一项新的研究内容.首先介绍了一个基于神经网络的树型奇偶机模型,在综述基于树型奇偶机的神经密码协议研究基础上,分析了神经密码协议的权值同步方案存在模型稳定性和同步判定安全性问题,分别提出在激活函数中增加阈值和利用hash函数判定同步权值的改进方法,并利用方差分析和统计实验给出仿真结果,证实了神经密码协议的可行性,最后讨论了协议模型的安全攻击问题.
- 陈铁明Samuel H.Huang刘多蔡家楣
- 关键词：神经网络密码协议密钥协商
