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 条
  • [1] Decision procedures for the analysis of cryptographic protocols by logics of belief
    Monniaux, D
    PROCEEDINGS OF THE 12TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, 1999, : 44 - 54
  • [2] A Decision Procedure for Structured Cryptographic Protocols
    Gagnon, Francois
    Mejri, Mohamed
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2006, 147 : 272 - +
  • [3] Decision procedures for BDI logics
    Rao, AS
    Georgeff, MP
    JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (03) : 293 - 343
  • [4] Collusion analysis of cryptographic protocols
    Low, SH
    Maxemchuk, NF
    IEEE GLOBECOM 1996 - CONFERENCE RECORD, VOLS 1-3: COMMUNICATIONS: THE KEY TO GLOBAL PROSPERITY, 1996, : 1 - 5
  • [5] A symbolic decision procedure for cryptographic protocols with time stamps
    Bozga, L
    Ene, C
    Lakhnech, Y
    CONCUR 2004 - CONCURRENCY THEORY, PROCEEDINGS, 2004, 3170 : 177 - 192
  • [6] A symbolic decision procedure for cryptographic protocols with time stamps
    Bozga, L
    Ene, C
    Lakhnech, Y
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2005, 65 (01): : 1 - 35
  • [7] DECISION PROCEDURES FOR SOME STRONG HYBRID LOGICS
    Indrzejczak, Andrzej
    Zawidzki, Michal
    LOGIC AND LOGICAL PHILOSOPHY, 2013, 22 (04) : 389 - 409
  • [8] Symbolic trace analysis of cryptographic protocols
    Boreale, M
    AUTOMATA LANGUAGES AND PROGRAMMING, PROCEEDING, 2001, 2076 : 667 - 681
  • [9] Cryptographic Protocols Analysis in Event B
    Benaissa, Nazim
    Mery, Dominique
    PERSPECTIVES OF SYSTEMS INFORMATICS, 2010, 5947 : 282 - +
  • [10] Non interference for the analysis of cryptographic protocols
    Focardi, R
    Gorrieri, R
    Martinelli, F
    AUTOMATA LANGUAGES AND PROGRAMMING, 2000, 1853 : 354 - 372
12345