A SYSTEM FOR DECIDING THE SECURITY OF CRYPTOGRAPHIC PROTOCOLS

被引：0
|
作者：
WATANABE, H
FUJIWARA, T
KASAMI, T
机构：
来源：
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES | 1993年 / E76A卷 / 01期
关键词：
COMPUTER SECURITY; CRYPTOGRAPHIC PROTOCOL; PROTOCOL VERIFICATION;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：96 / 103
页数：8
相关论文
共 50 条
  • [1] Deciding Security Properties for Cryptographic Protocols. Application to Key Cycles
    Comon-Lundh, Hubert
    Cortier, Veronique
    Zalinescu, Eugen
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2010, 11 (02)
  • [2] Deciding key cycles for security protocols
    Cortier, Veronique
    Zalinescu, Eugen
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2006, 4246 : 317 - +
  • [3] Deciding Security for Protocols with Recursive Tests
    Arnaud, Mathilde
    Cortier, Veronique
    Delaune, Stephanie
    [J]. AUTOMATED DEDUCTION - CADA-23, 2011, 6803 : 49 - +
  • [4] The Price of Active Security in Cryptographic Protocols
    Hazay, Carmit
    Venkitasubramaniam, Muthuramakrishnan
    Weiss, Mor
    [J]. JOURNAL OF CRYPTOLOGY, 2024, 37 (03)
  • [5] A survey on quantum cryptographic protocols and their security
    Fung, Chi-Hang Fred
    Lo, Hoi-Kwong
    [J]. 2007 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, 2007, : 1121 - 1124
  • [6] Security and composition of multiparty cryptographic protocols
    Canetti, R
    [J]. JOURNAL OF CRYPTOLOGY, 2000, 13 (01) : 143 - 202
  • [7] Security and Composition of Multiparty Cryptographic Protocols
    Ran Canetti
    [J]. Journal of Cryptology, 2000, 13 : 143 - 202
  • [8] METHODOLOGY FOR ASSESSING THE SECURITY OF CRYPTOGRAPHIC PROTOCOLS
    Nesterenko, A. Yu
    Semenov, A. M.
    [J]. PRIKLADNAYA DISKRETNAYA MATEMATIKA, 2022, (56): : 33 - 82
  • [9] The Price of Active Security in Cryptographic Protocols
    Hazay, Carmit
    Venkitasubramaniam, Muthuramakrishnan
    Weiss, Mor
    [J]. ADVANCES IN CRYPTOLOGY - EUROCRYPT 2020, PT II, 2020, 12106 : 184 - 215
  • [10] Combining algorithms for deciding knowledge in security protocols
    Arnaud, Mathilde
    Cortier, Veronique
    Delaune, Stephanie
    [J]. FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2007, 4720 : 103 - +
12345