您的位置: 专家智库 > >

江苏省高校自然科学研究项目(08KJB520009)

作品数:10 被引量:38H指数:4
相关作者:顾翔邱建林何鹏徐慧邵叶秦更多>>
相关机构:南通大学南京理工大学南通职业大学更多>>
发文基金:江苏省高校自然科学研究项目南通市应用研究计划项目国家自然科学基金更多>>
相关领域:自动化与计算机技术文化科学更多>>

文献类型

  • 10篇中文期刊文章

领域

  • 9篇自动化与计算...
  • 1篇文化科学

主题

  • 3篇形式化
  • 3篇形式化描述
  • 3篇无线
  • 3篇RSL
  • 2篇网络
  • 2篇无线局域
  • 2篇无线局域网
  • 2篇局域
  • 2篇局域网
  • 2篇教学
  • 2篇规范语言
  • 2篇RAISE规...
  • 2篇RSS
  • 1篇单点
  • 1篇单点登录
  • 1篇单点登录协议
  • 1篇登录
  • 1篇形式化描述技...
  • 1篇入侵
  • 1篇入侵检测

机构

  • 10篇南通大学
  • 1篇南京航空航天...
  • 1篇南京邮电大学
  • 1篇南京理工大学
  • 1篇南通职业大学

作者

  • 8篇顾翔
  • 5篇邱建林
  • 2篇徐慧
  • 2篇何鹏
  • 1篇邵浩然
  • 1篇陈建平
  • 1篇邵叶秦
  • 1篇居金娟
  • 1篇陈继红
  • 1篇张臻
  • 1篇陆建新
  • 1篇朱燕琼
  • 1篇张海兰
  • 1篇储波

传媒

  • 3篇计算机工程
  • 2篇计算机工程与...
  • 1篇仪表技术
  • 1篇微电子学与计...
  • 1篇计算机与数字...
  • 1篇计算机科学
  • 1篇电脑知识与技...

年份

  • 1篇2012
  • 4篇2011
  • 2篇2010
  • 3篇2009
10 条 记 录,以下是 1-10
排序方式:
无线传感器网络中基于神经网络的分布式入侵检测被引量:1
2011年
研究无线传感器网络的入侵检测问题。针对无线传感器网络特性面临的安全性脆弱现状,结合节点的分布式处理能力与入侵检测技术,提出基于神经网络学习法的分布式入侵检测。该方案顶层采用基于Hebb的异常检测器;中间层是簇头分类器,将检测到的来自节点的异常数据进行入侵分类;底层是管理节点,将分类器检测出来的数据进行融合处理,并将异常数据发布出去。在无线传感器网络入侵检测中获得了较高的检测率,仿真结果证实了该方法的有效性。
居金娟徐慧
关键词:无线传感器网络入侵检测神经网络分布式学习
基于RSL的协议形式化描述与验证方法被引量:4
2009年
讨论使用RAISE规范语言(RSL)描述6种协议元素的方法。在RSL描述的基础上,借助操作符的运算规则、并行扩展规则和同步会合事件隐藏规则,对协议的相关性质进行验证,以一个简化的停止等待协议规范的描述和验证实例证明,与其他形式化方法相比,RSL表现出较强的描述能力。
顾翔邱建林邵浩然
关键词:形式化描述RAISE规范语言
基于Blog与RSS的主动探究式教学平台设计被引量:10
2010年
针对传统网络教学不足,研究设计了一个以Blog为载体,融合RSS聚合的主动探究式教学平台。分析了系统需求,选择三层B/S平台架构、ASP.NET技术、SQLServer2005数据库为技术路线,从功能模块、Web页面与数据库3个方面对平台做了详细设计,并实现了南通大学计算机教学博客的应用实例。该平台为教师与学生提供了开展探究、协作、互动的网络学习环境,是Blog、RSS与网络教学系统相结合的有益尝试。同时,相对于使用ASP技术的Blog系统,三层B/S与.NET技术的使用使得本平台的系统扩展性与系统性能有了大幅提高。
何鹏邱建林顾翔
关键词:教学平台B/S
无线局域网认证机制综述被引量:5
2012年
介绍了当前主流无线局域网安全解决方案802.11、VPN和802.1x,解析了这些方案中相关的安全认证技术:开放式系统认证、WEP、CHAP、MS-CHAP、EAP-MD5、EAP-TLS、PEAP、LEAP及EAP-TTLS等的原理,阐述了他们的优缺点,提出了关于无线局域网安全认证机制的改进及发展的几点建议。
朱燕琼徐慧
关键词:无线局域网IEEEIEEE
基于时态逻辑的协议RSL形式化描述
2011年
研究以RAISE规范语言(RSL)描述时态逻辑中always算子、sometimes算子和until算子的方法以及对复合时态算子的描述方法,提出在时态逻辑模型基础上用RSL对协议进行形式化描述的步骤,以AB协议为示例,给出其基于时态逻辑模型的RSL描述,从而证明该描述模型有利于协议验证和协议测试用例生成的自动实现。
顾翔邱建林
关键词:时态逻辑RAISE规范语言形式化描述
无线安全协议设计方法研究被引量:1
2011年
探讨了无线安全协议设计的一般步骤,包括应用环境抽象、特定应用网络弱点分析、待设计安全协议要达到的目标、现有相近协议优缺点分析、具体协议设计、协议安全性证明。作为实例,按照这些步骤,设计了一个新的无线网络认证协议。实践表明,这些设计步骤操作性较强,可以较好地指导无线安全协议设计,对于其它小型应用层协议的设计也有一定的参考作用。
顾翔张臻邱建林
关键词:无线局域网安全协议
改进的Kerberos单点登录协议被引量:13
2011年
现有Kerberos协议易受密码猜测字典攻击和报文重放攻击。为此,提出一个改进的Kerberos单点登录协议。在认证报文中添加随机数并使用动态密钥,防止密码猜测字典攻击,为每个报文添加一个唯一的序列号,防止报文重放攻击。实验结果证明了改进协议的有效性。
邵叶秦陈建平顾翔
关键词:单点登录KERBEROS协议字典攻击重放攻击
基于CSP和RSL的协议形式化描述技术研究
2009年
协议形式化描述是协议工程的核心,对于协议的开发起到基础作用.首先对协议形式化描述技术进行了综述,然后着重研究了两种协议形式化描述技术:基于CSP的描述和基于RSL的描述,并以AB协议为例,分别给出了具体的描述示例.这两种技术具有较强的表达能力,是进行协议描述的有力工具.
顾翔邱建林
关键词:形式化描述技术通信顺序进程RSL
基于NS2的无线网络仿真和自定义协议添加被引量:4
2010年
文章讨论了如何使用NS2进行无线网络的仿真,包括配置无线节点、建立网络拓扑、设置节点运动方式、在节点上设置数据流。此外还讨论了针对具体应用需求,向NS2中添加自定义协议的方法和步骤,并以停止—等待协议为例,说明了添加的具体过程。
顾翔储波张海兰
关键词:无线网络网络仿真NS2
融合RSS的教学博客应用设计
2009年
针对已有网络教学的不足,分析了博客与RSS对网络教学应用新需求的适用性,从架构、开发工具、功能模块方面介绍了一个融合RSS的教学博客的构建。以此教学博客为基础,设计了8个教学应用,用于满足迅捷发布和获取有效教学信息、课后小结复习、学习进展跟踪、作业网络提交和批改、学习反思、个性化学习、协作化学习、分享教学资源。
何鹏陈继红陆建新顾翔
关键词:网络教学教学博客RSSTOOLKIT
共1页<1>
聚类工具0