|本期目录/Table of Contents|

[1]赵 罡.基于时间Petri网的MIKEY协议密钥分发研究[J].绵阳师范学院学报,2017,(02):67-72,110.
 ZHAO Gang.On Key Distribution in MIKEY Protocol Based on Timed Petri Net[J].Journal of Mianyang Normal University,2017,(02):67-72,110.
点击复制

基于时间Petri网的MIKEY协议密钥分发研究(PDF)
分享到:

《绵阳师范学院学报》[ISSN:1672-612X/CN:51-1670/G]

卷:
期数:
2017年02期
页码:
67-72,110
栏目:
计算机与网络技术
出版日期:
2017-02-15

文章信息/Info

Title:
On Key Distribution in MIKEY Protocol Based on Timed Petri Net
文章编号:
1672-612x(2017)02-0067-06
作者:
赵 罡
绵阳师范学院教师技能实训中心,四川绵阳 621000
Author(s):
ZHAO Gang
Teachers' skill-training Center, Mianyang Teachers' College, Mianyang 621006, Sichuan, China
关键词:
时间Petri网 MIKEY协议 密钥分发
Keywords:
timed Petri net MIKEY key distribution
分类号:
TP301.6; TP309
DOI:
-
文献标志码:
A
摘要:
MIKEY协议是一种可应用于实时的、多媒体通信的密钥管理协议,密钥分发是密钥管理协议的一个重要内容.本文对MIKEY协议提供的三种密钥分发方式进行了基于时间Petri网的分析,并对其中公钥分发方式构建了中间人攻击的时间Petri网模型.
Abstract:
MIKEY protocol is a key management scheme that can be used for real-time multimedia applications. Key distribution is an important part of key management. In this paper, three different methods of key distribution were analyzed based on timed Petri net and a timed Petri net of man-in-the-middle attack was also built in terms of public-key distribution.

参考文献/References:

[1] Arkko J.,Carrara E.,Lindholm F.. MIKEY:Multimedia Internet KEYing[C].RFC3830,2004.
[2] Baugher,M.,Canetti,R.,Dondeti,L.,et al.Multicast Security Group Key Management Architecture[C].RFC4046,2004.
[3] To-yat Cheung.Petri Nets for Protocol Engineering[J].Elsevier Computer Communications,1996,19:1250-1257.
[4] 袁崇义.Petri网原理[M].北京:电子工业出版社,1998.
[5] Jozef Winkowski.Processes of timed Petri nets[J].Elsevier Theoretical Computer Science,2000,243:1-34.
[6] Jiacun Wang,Yi Deng,Gang Xu.Reachability Analysis of Real-Time Systems Using Time Petri Nets[J].IEEE TRANSACTIONS ON SYSTEMS,2002,28(10):984-996.
[7] 张广胜,吴哲辉.基于时间Petri网的密码协议分析[J].系统仿真学报,2003(S1):11-16.

相似文献/References:

备注/Memo

备注/Memo:
作者简介:赵罡(1976— ),男,四川绵阳人,讲师,研究方向:数据库技术,现代教育技术.
更新日期/Last Update: 2017-02-15