loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
19th Annual Computer Security Applications Conference (ACSAC '03)
Modeling of Multiple Agent based Cryptographic Key Recovery Protocol
Las Vegas, Nevada
December 08-December 12
ISBN: 0-7692-2041-3
ASCII Text
x 
 
Shinyoung Lim, Sangseung Kang, Joochan Sohn, "Modeling of Multiple Agent based Cryptographic Key Recovery Protocol," Computer Security Applications Conference, Annual, pp. 119, 19th Annual Computer Security Applications Conference (ACSAC '03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/CSAC.2003.1254317,
author = {Shinyoung Lim and Sangseung Kang and Joochan Sohn},
title = {Modeling of Multiple Agent based Cryptographic Key Recovery Protocol},
journal ={Computer Security Applications Conference, Annual},
volume = {0},
year = {2003},
issn = {1063-9527},
pages = {119},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSAC.2003.1254317},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Security Applications Conference, Annual
TI - Modeling of Multiple Agent based Cryptographic Key Recovery Protocol
SN - 1063-9527
SP
EP
A1 - Shinyoung Lim,
A1 - Sangseung Kang,
A1 - Joochan Sohn,
PY - 2003
KW - null
VL - 0
JA - Computer Security Applications Conference, Annual
ER -
 
Shinyoung Lim, ETRI, Korea
Sangseung Kang, ETRI, Korea
Joochan Sohn, ETRI, Korea
When a receiver of a ciphertext message can not decrypt the message due to the fact that he has lost his private-key, the private-key of the receiver and session-key of the message need to be recovered. In this paper, we demonstrate how we have modeled and analyzed a new type of multiple agent based key recovery protocol. It is characterized by key encapsulation approach, protocol generalization, secret choice of key recovery agents and fork/join of session-keys by random-keys. The proposed protocol is formally modeled by a new pictorial model, an Extended Cryptographic Timed Petri Net (ECTPN). Recoverability of a session-key as well as performance of the protocol is verified by using a reachability graph of the ECTPN.
Citation:
Shinyoung Lim, Sangseung Kang, Joochan Sohn, "Modeling of Multiple Agent based Cryptographic Key Recovery Protocol," acsac, pp.119, 19th Annual Computer Security Applications Conference (ACSAC '03), 2003
Usage of this product signifies your acceptance of the Terms of Use.