It is difficult to decide whether or not a given cryptographic protocol is secure even though the cryptographic algorithm used for the protocol is assumed to be secure. We have proposed an algorithm to decide the security of cryptographic protocols under several conditions. In this paper, we review our algorithm and report a system to verify the security. The system has be implemented on a computer. By using this system, we have verified the security of several protocols efficiently.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copy
Hajime WATANABE, Toru FUJIWARA, Tadao KASAMI, "A System for Deciding the Security of Cryptographic Protocols" in IEICE TRANSACTIONS on Fundamentals,
vol. E76-A, no. 1, pp. 96-103, January 1993, doi: .
Abstract: It is difficult to decide whether or not a given cryptographic protocol is secure even though the cryptographic algorithm used for the protocol is assumed to be secure. We have proposed an algorithm to decide the security of cryptographic protocols under several conditions. In this paper, we review our algorithm and report a system to verify the security. The system has be implemented on a computer. By using this system, we have verified the security of several protocols efficiently.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e76-a_1_96/_p
Copy
@ARTICLE{e76-a_1_96,
author={Hajime WATANABE, Toru FUJIWARA, Tadao KASAMI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={A System for Deciding the Security of Cryptographic Protocols},
year={1993},
volume={E76-A},
number={1},
pages={96-103},
abstract={It is difficult to decide whether or not a given cryptographic protocol is secure even though the cryptographic algorithm used for the protocol is assumed to be secure. We have proposed an algorithm to decide the security of cryptographic protocols under several conditions. In this paper, we review our algorithm and report a system to verify the security. The system has be implemented on a computer. By using this system, we have verified the security of several protocols efficiently.},
keywords={},
doi={},
ISSN={},
month={January},}
Copy
TY - JOUR
TI - A System for Deciding the Security of Cryptographic Protocols
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 96
EP - 103
AU - Hajime WATANABE
AU - Toru FUJIWARA
AU - Tadao KASAMI
PY - 1993
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E76-A
IS - 1
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - January 1993
AB - It is difficult to decide whether or not a given cryptographic protocol is secure even though the cryptographic algorithm used for the protocol is assumed to be secure. We have proposed an algorithm to decide the security of cryptographic protocols under several conditions. In this paper, we review our algorithm and report a system to verify the security. The system has be implemented on a computer. By using this system, we have verified the security of several protocols efficiently.
ER -