您的位置： 专家智库 > >

魏昭

作品数：5 被引量：0H指数：0
供职机构：桂林电子科技大学计算机科学与工程学院更多>>
发文基金：广西研究生教育创新计划广西壮族自治区自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 5篇自动化与计算...

主题

  • 3篇SPIN
  • 2篇WEB服务
  • 1篇拍卖
  • 1篇网络
  • 1篇路由
  • 1篇路由协议
  • 1篇拒绝服务
  • 1篇会话
  • 1篇会话协议
  • 1篇感器
  • 1篇安全路由
  • 1篇安全路由协议
  • 1篇安全协议
  • 1篇SECURE
  • 1篇SERVIC...
  • 1篇WEB服务安...
  • 1篇WSN
  • 1篇XML
  • 1篇DOS攻击
  • 1篇传感

机构

  • 5篇桂林电子科技...

作者

  • 5篇魏昭
  • 4篇董荣胜
  • 2篇刘芳
  • 1篇刘亮龙
  • 1篇徐许亮

传媒

  • 1篇计算机仿真
  • 1篇广西科学院学...
  • 1篇微计算机信息

年份

  • 1篇2010
  • 2篇2009
  • 2篇2008
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
基于SPIN的SAS协议和NS公钥协议分析
2008年
给出SP IN模型检测协议的验证步骤,使用其分析验证SA S协议的安全属性和数据流行为属性,以及N S公钥协议的机密性和认证性。结果成功发现SA S协议数据流的缺陷和N S公钥协议的攻击路径。
刘芳魏昭董荣胜
基于SPIN的协议分析技术研究
随着网络规模不断扩大,协议已广泛应用在各种分布式的网络环境中.使用形式化的分析方法有助于发现协议设计中的缺陷,保障分布式应用的质量。而模型检测技术作为一种形式化的分析方法,支持自动化的推理技术,能根据逻辑公式自动的验证协...
刘芳魏昭董荣胜
关键词：SPIN
基于模型检验的Web服务的组合及安全性研究
本文的研究工作包含两个部分:第一,对Web服务组合的正确性进行了验证,提出了基于BPEL的Web服务组合形式化分析模型和自动测试框架;第二,对Web服务的安全性进行了形式化分析,建立了基于SOAP的安全协议的形式化分析模...
魏昭
关键词：WEB服务安全协议
文献传递
Web服务安全会话协议的SPIN建模与分析
2010年
Web Services Secure Conversation是基于XML的安全协议.本文对该协议进行了形式化的分析,并使用模型检验工具SPIN验证了协议的安全性,结果表明该协议存在认证性缺陷。为此,修改了协议的消息结构并对用户口令进行了数字签名。对改进后协议的安全性进行分析,结果表明改进后的协议不存在原协议的缺陷,协议满足认证性要求。
魏昭董荣胜
关键词：SERVICESSECUREXMLSPIN
基于拍卖针对DoS攻击的WSN安全路由协议
2009年
节点密度大、数量规模大以及资源有限是无线传感器网络的特点,而又使得它难以防御恶意节点发起的拒绝服务攻击。针对无线传感器网络的以上特点,基于博弈论观点和方法,通过建立传感器网络节点博弈框架,采用一级封闭价格拍卖实现路由发现,利用声誉机制检测和惩罚恶意节点,并在SAR协议基础上增加了对黑洞攻击和重放攻击的防御,加快了对恶意攻击节点的检测收敛。仿真结果表明,改进后的SAR协议能有效防御无线传感器网络中的拒绝服务攻击。
刘亮龙董荣胜徐许亮魏昭
关键词：传感器网络拒绝服务拍卖
全选 清除 导出
共1页<1>
聚类工具0