选择认可动态逻辑

您当前的位置：

首页 >

文章列表页 >

选择认可动态逻辑

更新时间：2024-10-14

- 选择认可动态逻辑
- 暂无标题
- 通信学报 2002年第6期页码：51-60
- 作者机构：
  
  1.   信息工程大学
  2.   西南电子电信技术研究所河南郑州450004
  3.   上海分所上海 200034
- 作者简介：
- 基金信息：
  
  河南省自然科学基金资助项目（994060100）
- DOI：
  中图分类号： TP309
- 纸质出版：2002
- 稿件说明：
移动端阅览
[1]陈性元,李勇,潘正运,宋国文.选择认可动态逻辑[J].通信学报,2002(06):51-60.
[1]陈性元,李勇,潘正运,宋国文.选择认可动态逻辑[J].通信学报,2002(06):51-60. DOI：

DOI：

摘要

本文提出了一种用于分析网络安全协议的形式化逻辑——选择认可动态逻辑。该逻辑重视通信实体间的明文信息

通过对通信实体之间交换信息的状态的演绎

刻划了通信各方对信息的获取以及由此产生的攻击行为。预共享密钥交换协议是IPSec中IKE的验证模式之一

本文利用选择认可动态逻辑对该协议进行了演绎

剖析了其认证过程和密钥生成的关键所在

随后对该协议的局限性和野蛮模式下的特点进行了评估。

Abstract

关键词

Keywords

references

0

浏览量

606

下载量

0

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

相关文章

支持VPN的隧道技术研究

虚拟专用网络安全通信机制的研究与实现

基于Windows的虚拟专用网安全机制的设计和实现

绿色发光粉CaBa₂(BO₃)₂ ∶ Tb³⁺的制备和发光特性

In_0.2Ga_0.8As/GaAs单量子阱PL谱温度特性及其机制

相关作者

赵阿群

吉逸

顾冠群

吴越

疏朝明

卜勇华

胡爱群

毕光国

相关机构

东南大学计算机系教育部计算机网络重点实验室!江苏南京210096

东南大学无线电系

东南大学无线电系江苏南京 210096华东船舶工业学院电子与信息系

江苏镇江 212003

江苏南京210096

AI问答

⁰