刘芳
- 作品数：3 被引量：0H指数：0
- 供职机构：桂林电子科技大学计算机科学与工程学院更多>>
- 发文基金：广西研究生教育创新计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于SPIN的协议分析技术研究
- 随着网络规模不断扩大,协议已广泛应用在各种分布式的网络环境中.使用形式化的分析方法有助于发现协议设计中的缺陷,保障分布式应用的质量。而模型检测技术作为一种形式化的分析方法,支持自动化的推理技术,能根据逻辑公式自动的验证协...
- 刘芳魏昭董荣胜
- 关键词：SPIN
- 基于SPIN的SAS协议和NS公钥协议分析
- 2008年
- 给出SP IN模型检测协议的验证步骤,使用其分析验证SA S协议的安全属性和数据流行为属性,以及N S公钥协议的机密性和认证性。结果成功发现SA S协议数据流的缺陷和N S公钥协议的攻击路径。
- 刘芳魏昭董荣胜
- 无线自组网节点信任关系的评估机制研究
- 2011年
- 研究无线网络收发系统的性能优化问题,在无线自组网中,节点信任关系是保证节点间高效通信的关键问题。针对节点信任关系的特点,为了提高传输率,提出一种信任评估机制。节点邻节点局部信息形成对其他任意节点的信任评估值,并用信任评估值来描述节点信任关系,再根据信任评估值的大小选择信任关系良好的节点进行通信。利用NS2工具进行仿真,结果表明引入信任评估机制的网络能够有效地降低虚假间接信息对信任评估的影响和网络数据包的丢失率,提高无线自组网的通信效率。
- 刘芳董荣胜
- 关键词：无线自组网信任关系
