您的位置： 专家智库 > >

常丽娟

作品数：2 被引量：4H指数：1
供职机构：南京邮电大学更多>>
发文基金：江苏省自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 2篇密钥交换
  • 2篇密钥交换协议
  • 1篇形式化
  • 1篇形式化分析
  • 1篇因特网
  • 1篇因特网密钥交...
  • 1篇身份验证
  • 1篇网络
  • 1篇网络互连
  • 1篇逻辑
  • 1篇密钥协商
  • 1篇互连

机构

  • 2篇南京邮电大学

作者

  • 2篇常丽娟
  • 1篇沈苏彬

传媒

  • 1篇南京邮电大学...

年份

  • 2篇2006
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
密钥交换协议JFK的分析与研究被引量：4
2006年
快速密钥交换(JFK)协议是一种新的密钥交换协议,它的安全性引起了人们的重视。文中通过使用BAN类逻辑方法针对其安全目标进行了分析与研究。首先简介了JFK协议的两种形式和报文交互的工作原理,在此基础上指出了它所达到的安全目标,然后介绍了BAN类逻辑方法的符号语义说明和逻辑规则,并通过使用它对JFK协议中一种具体形式JFKr的安全性进行了分析证明,得出了JFK协议满足密钥交换协议的基本安全需求的结论。
常丽娟沈苏彬
关键词：因特网密钥交换形式化分析逻辑
基于网络互连的密钥交换机制研究与实现
本文主要提出一种安全域之间基于网络互连的新密钥交换协议，它是对面向网络基础设施新安全机制的扩展。该协议通过在IP层上实施嵌套安全域之间逐跳(hop-by-hop)身份验证和密钥协商来建立两个通信实体所在安全域的信任关系。...
常丽娟
关键词：网络互连身份验证密钥协商
文献传递
全选 清除 导出
共1页<1>
聚类工具0