Modeling of Multiple Agent based Cryptographic Key Recovery Protocol

Authors:
Shinyoung Lim;Sangseung Kang;Joochan Sohn
Affiliations:
-;-;-
Venue:
ACSAC '03 Proceedings of the 19th Annual Computer Security Applications Conference
Year:
2003

Citing 0
Cited 1

A secure multiple-agent cryptographic key recovery system

IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration

Quantified Score

Hi-index	0.00

Visualization

Abstract

When a receiver of a ciphertext message can not decryptthe message due to the fact that he has lost his private-key,the private-key of the receiver and session-key of themessage need to be recovered. In this paper, wedemonstrate how we have modeled and analyzed a new typeof multiple agent based key recovery protocol. It ischaracterized by key encapsulation approach, protocolgeneralization, secret choice of key recovery agents andfork/join of session-keys by random-keys. The proposedprotocol is formally modeled by a new pictorial model, anExtended Cryptographic Timed Petri Net (ECTPN).Recoverability of a session-key as well as performance ofthe protocol is verified by using a reachability graph of theECTPN.