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 条
  • [41] SAT-based decision procedures for classical modal logics
    Giunchiglia, E
    Tacchella, A
    Giunchiglia, F
    JOURNAL OF AUTOMATED REASONING, 2002, 28 (02) : 143 - 171
  • [42] Decision Procedures for Epistemic Logic Exploiting Belief Bases
    Lorini, Emiliano
    Romero, Fabian
    AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2019, : 944 - 952
  • [43] Tableaux based decision procedures for modal logics of confluence and density
    Farinas, Del Cerro, Luis
    Gasquet, Olivier
    Fundamenta Informaticae, 1999, 40 (04): : 317 - 333
  • [44] Interval logics and their decision procedures .1. An interval logic
    Ramakrishna, YS
    MelliarSmith, PM
    Moser, LE
    Dillon, LK
    Kutty, G
    THEORETICAL COMPUTER SCIENCE, 1996, 166 (1-2) : 1 - 47
  • [45] Building decision procedures for modal logics from propositional decision procedures:: The case study of modal K(m)
    Giunchiglia, F
    Sebastiani, R
    INFORMATION AND COMPUTATION, 2000, 162 (1-2) : 158 - 178
  • [46] Stateless Cryptographic Protocols
    Goyal, Vipul
    Maji, Hemanta K.
    2011 IEEE 52ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2011), 2011, : 678 - 687
  • [47] Cryptography and cryptographic protocols
    Goldreich, O
    DISTRIBUTED COMPUTING, 2003, 16 (2-3) : 177 - 199
  • [48] Logics for belief dependence
    Huang, Zhisheng
    Workshop on Computer Science Logic, 1990,
  • [49] LOGICS FOR BELIEF DEPENDENCE
    HUANG, ZS
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 533 : 274 - 288
  • [50] Programming cryptographic protocols
    Guttman, JD
    Herzog, JC
    Ramsdell, JD
    Sniffen, BT
    TRUSTWORTHY GLOBAL COMPUTING, 2005, 3705 : 116 - 145
12345