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 条
  • [31] A Formal Analysis Method with Reasoning for Cryptographic Protocols
    Yan, Jingchen
    Wagatsuma, Kazunori
    Gao, Hongbiao
    Cheng, Jingde
    PROCEEDINGS OF 2016 12TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY (CIS), 2016, : 566 - 570
  • [32] Algebra model and security analysis for cryptographic protocols
    Jinpeng Huai
    Xianxian Li
    Science in China Series F: Information Sciences, 2004, 47 : 199 - 220
  • [33] Formal Analysis for Cryptographic Protocols on a Trace Semantics
    Jiang, Yun
    Gong, HuaPing
    INTERNATIONAL CONFERENCE ON FUTURE NETWORKS, PROCEEDINGS, 2009, : 127 - 129
  • [34] On Formal Analysis of Cryptographic Protocols and Supporting Tool
    Xiao Meihua
    Jiang Yun
    Liu Qiaowei
    CHINESE JOURNAL OF ELECTRONICS, 2010, 19 (02): : 223 - 228
  • [35] The modeling analysis of cryptographic protocols using Promela
    Xiao, Meihua
    Li, Jing
    WCICA 2006: SIXTH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-12, CONFERENCE PROCEEDINGS, 2006, : 4321 - +
  • [36] Honest functions and their application to the analysis of cryptographic protocols
    Maneki, AP
    PROCEEDINGS OF THE 12TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, 1999, : 83 - 89
  • [37] ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse
    Linh Anh Nguyen
    Szalas, Andrzej
    STUDIA LOGICA, 2011, 98 (03) : 387 - 428
  • [38] SAT-Based Decision Procedures for Classical Modal Logics
    Enrico Giunchiglia
    Armando Tacchella
    Fausto Giunchiglia
    Journal of Automated Reasoning, 2002, 28 : 143 - 171
  • [39] SAT-based decision procedures for classical modal logics
    Giunchiglia, E
    Tacchella, A
    Giunchiglia, F
    JOURNAL OF AUTOMATED REASONING, 2002, 28 (02) : 143 - 171
  • [40] ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse
    Linh Anh Nguyen
    Andrzej Szałas
    Studia Logica, 2011, 98 : 387 - 428
12345