南通市应用研究计划项目(K2008005)

作品数：7被引量：12H指数：2
导出分析报告
相关作者：顾翔邱建林杨凌凤曹利储波更多>>
相关机构：南通大学南京理工大学南京邮电大学南京航空航天大学更多>>
相关期刊：《计算机工程》《计算机工程与设计》《计算机与数字工程》《电脑知识与技术》更多>>
相关主题：无线局域网RSLRAISE规范语言形式化描述EAP-TLS更多>>
相关领域：自动化与计算机技术文化科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
无线安全协议设计方法研究被引量：1
《计算机科学》2011年第9期103-107,共5页顾翔 张臻 邱建林 
国家自然科学基金(60773041);江苏省高校自然科学研究计划项目(08KJB520009);南通市应用研究计划项目(K2008005)资助
探讨了无线安全协议设计的一般步骤,包括应用环境抽象、特定应用网络弱点分析、待设计安全协议要达到的目标、现有相近协议优缺点分析、具体协议设计、协议安全性证明。作为实例,按照这些步骤,设计了一个新的无线网络认证协议。实践表明...
关键词：无线局域网 安全协议 认证协议 形式化技术 协议设计 
基于时态逻辑的协议RSL形式化描述
《计算机工程》2011年第5期7-9,共3页顾翔 邱建林 
国家自然科学基金资助项目(60773041);江苏省高校自然科学基础研究基金资助项目(08KJB520009);南通市应用研究计划基金资助项目(K2008005);江苏省博士后科研资助计划基金资助项目(1002002B);江苏省高校"青蓝工程"基金资助项目
研究以RAISE规范语言(RSL)描述时态逻辑中always算子、sometimes算子和until算子的方法以及对复合时态算子的描述方法,提出在时态逻辑模型基础上用RSL对协议进行形式化描述的步骤,以AB协议为示例,给出其基于时态逻辑模型的RSL描述,从而...
关键词：时态逻辑 RAISE规范语言 形式化描述 协议工程 
IEEE802.11i密钥管理方案的研究与改进被引量：1
《计算机工程与设计》2010年第22期4813-4816,共4页曹利 杨凌凤 顾翔 黄海斌 
高校自然科学基础研究基金项目(08KJB520009);江苏省现代教育技术研究"十一.五"规划2009年滚动基金项目(13254);南通市应用研究计划基金项目(K2008005)
802.11i的密钥管理方案需要经过四次握手产生PTK,然后经过组播握手产生GTK,加重了STA的计算负担,影响了无线漫游的效率,为此提出一种改进的密钥产生机制。改进后的方案采用EAPOL-Key来传输消息,不修改其帧结构,保持了对原802.11i协议的...
关键词：无线局域网 802.11i标准 强安全网络 组临时密钥 对等临时密钥 
基于NS2的无线网络仿真和自定义协议添加被引量：4
《计算机与数字工程》2010年第11期164-167,共4页顾翔 储波 张海兰 
江苏省高校自然科学研究计划项目(编号:08KJB520009);南通市应用研究计划项目(编号:K2008005);江苏省高校"青蓝工程"资助
文章讨论了如何使用NS2进行无线网络的仿真,包括配置无线节点、建立网络拓扑、设置节点运动方式、在节点上设置数据流。此外还讨论了针对具体应用需求,向NS2中添加自定义协议的方法和步骤,并以停止—等待协议为例,说明了添加的具体过程。
关键词：无线网络 网络仿真 NS2 协议 
基于802.11i的EAP-TLS认证机制的安全分析被引量：3
《计算机工程与设计》2010年第4期756-759,共4页曹利 杨凌凤 顾翔 朱晓辉 
高校自然科学基础研究基金项目(08KJB520009);江苏省现代教育技术研究"十一.五"规划2009年滚动课题基金项目(13254);南通市应用研究计划基金项目(K2008005)
为了有效解决无线网安全认证的问题,分析了无线网的新一代安全标准IEEE802.11i的RSNA建立过程。通过对关键步骤EAP-TLS实体认证机制的研究,指出EAP-TLS认证协议在使用过程中由于配置不当而导致的安全漏洞,以及数据帧没有加密可能受到的...
关键词：无线局域网 802.11i 健壮安全网络联合 扩展认证协议 拒绝服务攻击 
基于RSL的协议形式化描述与验证方法被引量：3
《计算机工程》2009年第23期41-43,共3页顾翔 邱建林 邵浩然 
国家自然科学基金资助项目(60773041);江苏省高校自然科学重大基础研究基金资助项目(07KJA51007);江苏省高校自然科学基础研究基金资助项目(08KJB520009);南通市应用研究计划基金资助项目(K2008005);南通大学自然科学基金资助项目(06Z048)
讨论使用RAISE规范语言(RSL)描述6种协议元素的方法。在RSL描述的基础上,借助操作符的运算规则、并行扩展规则和同步会合事件隐藏规则,对协议的相关性质进行验证,以一个简化的停止等待协议规范的描述和验证实例证明,与其他形式化方法相...
关键词：协议工程 形式化描述 RAISE规范语言 协议验证 
融合RSS的教学博客应用设计
《电脑知识与技术》2009年第12期9876-9877,9880,共3页何鹏 陈继红 陆建新 顾翔 
江苏省现代教育技术研究“十一五”规划2009年度滚动课题（2009-R-12579）的研究成果之一;南通市应用研究计划项目（K2009045）;南通市应用研究计划（K2008005）;南通大学2008年度教育技术研究立项课题（ET-2008-AOS）;江苏省高校自然科学基础研究基金资助项目（08KJB520009）资助
针对已有网络教学的不足，分析了博客与RSS对网络教学应用新需求的适用性，从架构、开发工具、功能模块方面介绍了一个融合RSS的教学博客的构建。以此教学博客为基础，设计了8个教学应用，用于满足迅捷发布和获取有效教学信息、课后小...
关键词：博客 聚合内容 网络教学 教学博客 RSS TOOLKIT 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部