基于BAN逻辑的ad hoc移动网络路由协议的安全性分析                                                                                                                        附视频

您当前的位置：

首页 >

文章列表页 >

基于BAN逻辑的ad hoc移动网络路由协议的安全性分析附视频

更新时间：2024-10-14

- 基于BAN逻辑的ad hoc移动网络路由协议的安全性分析附视频
- Issue 4, Pages: 125-129(2005)
- 作者机构：
- 作者简介：
- 基金信息：
- DOI：
  CLC： TN918.1
- Published：2005
- 稿件说明：
移动端阅览
[J]. 2005, (4): 125-129.
DOI：

[J]. 2005, (4): 125-129. DOI：

摘要

Ad hoc移动网络路由协议为加强其安全性

采用了密码技术

使其成为安全协议的一种。这使得采用形式化的方法分析其安全性成为可能。考虑ad hoc移动网络路由协议的特点

采用BAN逻辑对协议的安全性进行描述

提出了协议应满足的条件。并对协议的运行过程进行了形式化

给出具体的分析方法。采用该方法对安全路由协议SADSR进行了安全验证

说明方法的有效性。

Abstract

关键词

Keywords

references

查看原文

Views

935

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

基于BAN逻辑的ad hoc移动网络路由协议的安全性分析

Ad hoc网络中带宽保证路由协议

超宽带无线电技术

基于RSA密码体制（t,n）门限秘密共享方案

基于节点接入能力的ad hoc网络按需路由协议

Related Author

丁炜

郑敏

殷贞平

冯美玉

王育民

庞辽军

王俊伟

盛锋

Related Institution

山东济南山东大学数学与系统科学学院山东济南250014

山东济南250014

山东省计算中心山东济南250014 山东省计算中心

山东省计算中心

山东大学信息科学与工程学院

AI问答

⁰