Specification and Analysis of Key Recovery System using ECTPN


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 7, No. 6, pp. 1874-1885, Jun. 2000
10.3745/KIPSTE.2000.7.6.1874,   PDF Download:

Abstract

When a receiver of ciphertext message can not decrypt a message because he has lost his private-key, the private-key of receiver and session-key of the message should be recovered. In this paper, we developed an Encapsulation based Key Recovery System (EKRS). EKRS is a new key encapsulation based key recovery system which is characterized by secretly choice of KRA, randomized target keys. n-way recovery type, and useful for commercial key recovery. EKRS is formally specified by a pictorial model, an Extended Cryptographic Timed Petri Net (ECTPN). Secure information flow and reachability of a session-key are verified by using reachability graph of ECTPN. EKRS, executing over a Public Key Infrastructure, can be used as a security solution in Web based applications such as CALS, EC an EDI.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
J. H. Ko, S. S. Kang, E. A. Jun, G. S. Lee, "Specification and Analysis of Key Recovery System using ECTPN," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 7, no. 6, pp. 1874-1885, 2000. DOI: 10.3745/KIPSTE.2000.7.6.1874.

[ACM Style]
Jeong Ho Ko, Sang Seung Kang, Eun Ah Jun, and Gang Soo Lee. 2000. Specification and Analysis of Key Recovery System using ECTPN. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 7, 6, (2000), 1874-1885. DOI: 10.3745/KIPSTE.2000.7.6.1874.