Decision procedures for the analysis of cryptographic protocols by logics of belief

被引：0
|
作者：
Monniaux, David [1 ]
机构：
[1] SRI Int, Menlo Park, United States
来源：
Proceedings of the Computer Security Foundations Workshop | 1999年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：44 / 54
相关论文
共 50 条
  • [21] Proof Theory and Decision Procedures for Deontic STIT Logics
    Lyon, Tim S.
    van Berkel, Kees
    Journal of Artificial Intelligence Research, 2024, 81 : 837 - 876
  • [22] A new method for testing decision procedures in modal logics
    Giunchiglia, F
    Roveri, M
    Sebastiani, R
    AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 264 - 267
  • [23] Algebra model and security analysis for cryptographic protocols
    HUAI Jinpeng & LI Xianxian School of Computer
    Science China(Information Sciences), 2004, (02) : 199 - 220
  • [24] Key substitution in the symbolic analysis of cryptographic protocols
    Chevalier, Yannick
    Kourjieh, Mounira
    FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 121 - 132
  • [25] Honest functions and their application to the analysis of cryptographic protocols
    Maneki, Alfred P.
    Proceedings of the Computer Security Foundations Workshop, 1999, : 83 - 89
  • [26] Performance analysis of cryptographic protocols on handheld devices
    Argyroudis, PG
    Verma, R
    Tewari, H
    O'Mahony, D
    THIRD IEEE INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS, PROCEEDINGS, 2004, : 169 - 174
  • [27] Algebra model and security analysis for cryptographic protocols
    Huai, JP
    Li, XX
    SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2004, 47 (02): : 199 - 220
  • [28] Transducer-based analysis of cryptographic protocols
    Kuesters, Ralf
    Wilke, Thomas
    INFORMATION AND COMPUTATION, 2007, 205 (12) : 1741 - 1776
  • [29] CRYPTOBAP: A Binary Analysis Platform for Cryptographic Protocols
    Nasrabadi, Faezeh
    Kuennemann, Robert
    Nemati, Hamed
    PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023, 2023, : 1362 - 1376
  • [30] Formal analysis and design principles of cryptographic protocols
    Xu, X.D.
    Yue, D.W.
    Nanjing Youdian Xueyuan Xuebao/Journal of Nanjing Institute of Posts and Telecommunications, 2001, 21 (03):
12345