作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2007, Vol. 33 ›› Issue (03): 157-159. doi: 10.3969/j.issn.1000-3428.2007.03.057

• 安全技术 • 上一篇    下一篇

一类群组注册协议的设计及其BAN逻辑演绎

陆正福,刘吉庆   

  1. (云南大学数学系,昆明 650091)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-02-05 发布日期:2007-02-05

Design of A Class of Group Registration Protocol and Its BAN Logic Deduction

LU Zhengfu, LIU Jiqing   

  1. (Department of Mathematics, Yunnan University, Kunming 650091)
  • Received:1900-01-01 Revised:1900-01-01 Online:2007-02-05 Published:2007-02-05

摘要: MIKEY是一种可应用于实时的、多媒体通信的群组注册协议的规范。该文分析了MIKEY规范中的密钥生成、分发机制,设计了一个符合MIKEY规范、基于公钥的群组注册协议,最后应用BAN逻辑分析了该协议的安全性。

关键词: MIKEY, 密钥管理, 注册协议, BAN逻辑

Abstract: MIKEY is a protocol specification for group registration protocol that can be used for real-time multimedia applications. This paper analyzes the key generation, distribution mechanisms of MIKEY, designs a group registration protocol, MIKEY-PKGRP, based on the public-key mode and MIKEY specification. Finally, it analyzes the security of MIKEY-PKGRP with BAN logic deduction.

Key words: MIKEY, Key management, Registration protocol, BAN logic