南通市应用研究计划项目(K2008005)
- 作品数：7 被引量：14H指数：3
- 相关作者：顾翔邱建林杨凌凤曹利储波更多>>
- 相关机构：南通大学南京理工大学南京邮电大学更多>>
- 发文基金：南通市应用研究计划项目江苏省高校自然科学研究项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于时态逻辑的协议RSL形式化描述
- 2011年
- 研究以RAISE规范语言(RSL)描述时态逻辑中always算子、sometimes算子和until算子的方法以及对复合时态算子的描述方法,提出在时态逻辑模型基础上用RSL对协议进行形式化描述的步骤,以AB协议为示例,给出其基于时态逻辑模型的RSL描述,从而证明该描述模型有利于协议验证和协议测试用例生成的自动实现。
- 顾翔邱建林
- 关键词：时态逻辑RAISE规范语言形式化描述
- 无线安全协议设计方法研究被引量：1
- 2011年
- 探讨了无线安全协议设计的一般步骤,包括应用环境抽象、特定应用网络弱点分析、待设计安全协议要达到的目标、现有相近协议优缺点分析、具体协议设计、协议安全性证明。作为实例,按照这些步骤,设计了一个新的无线网络认证协议。实践表明,这些设计步骤操作性较强,可以较好地指导无线安全协议设计,对于其它小型应用层协议的设计也有一定的参考作用。
- 顾翔张臻邱建林
- 关键词：无线局域网安全协议
- IEEE802.11i密钥管理方案的研究与改进被引量：1
- 2010年
- 802.11i的密钥管理方案需要经过四次握手产生PTK,然后经过组播握手产生GTK,加重了STA的计算负担,影响了无线漫游的效率,为此提出一种改进的密钥产生机制。改进后的方案采用EAPOL-Key来传输消息,不修改其帧结构,保持了对原802.11i协议的兼容,同时将四次握手加组密钥握手完成PTK和GTK分发变成只需四次握手就可以同时实现PTK和GTK分发。该方案缩短了密钥分发的过程,减少了分发环节,从而使得漫游环境下的密钥分发效率大大提高,减少了用户接入WLAN的延迟。
- 曹利杨凌凤顾翔黄海斌
- 关键词：无线局域网
- 基于RSL的协议形式化描述与验证方法被引量：4
- 2009年
- 讨论使用RAISE规范语言(RSL)描述6种协议元素的方法。在RSL描述的基础上,借助操作符的运算规则、并行扩展规则和同步会合事件隐藏规则,对协议的相关性质进行验证,以一个简化的停止等待协议规范的描述和验证实例证明,与其他形式化方法相比,RSL表现出较强的描述能力。
- 顾翔邱建林邵浩然
- 关键词：形式化描述RAISE规范语言
- 融合RSS的教学博客应用设计
- 2009年
- 针对已有网络教学的不足，分析了博客与RSS对网络教学应用新需求的适用性，从架构、开发工具、功能模块方面介绍了一个融合RSS的教学博客的构建。以此教学博客为基础，设计了8个教学应用，用于满足迅捷发布和获取有效教学信息、课后小结复习、学习进展跟踪、作业网络提交和批改、学习反思、个性化学习、协作化学习、分享教学资源。
- 何鹏陈继红陆建新顾翔
- 关键词：网络教学教学博客RSSTOOLKIT
- 基于NS2的无线网络仿真和自定义协议添加被引量：4
- 2010年
- 文章讨论了如何使用NS2进行无线网络的仿真,包括配置无线节点、建立网络拓扑、设置节点运动方式、在节点上设置数据流。此外还讨论了针对具体应用需求,向NS2中添加自定义协议的方法和步骤,并以停止—等待协议为例,说明了添加的具体过程。
- 顾翔储波张海兰
- 关键词：无线网络网络仿真NS2
- 基于802.11i的EAP-TLS认证机制的安全分析被引量：4
- 2010年
- 为了有效解决无线网安全认证的问题,分析了无线网的新一代安全标准IEEE802.11i的RSNA建立过程。通过对关键步骤EAP-TLS实体认证机制的研究,指出EAP-TLS认证协议在使用过程中由于配置不当而导致的安全漏洞,以及数据帧没有加密可能受到的DoS攻击,并从降低攻击的发生和协议的改进方面提出了基于隧道的认证新方案。
- 曹利杨凌凤顾翔朱晓辉
- 关键词：无线局域网拒绝服务攻击
