Automated Reasoning for Security Protocol Analysis -: Preface

被引：0
|
作者：
Degano, Pierpaolo
Vigano, Luca
机构：
[1] Univ Pisa, Dipartimento Informat, I-56127 Pisa, Italy
[2] Swiss Fed Inst Technol, ETH Zentrum, Dept Comp Sci, CH-8092 Zurich, Switzerland
来源：
THEORETICAL COMPUTER SCIENCE | 2006年 / 367卷 / 1-2期
关键词：
D O I：
10.1016/j.tcs.2006.08.031
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [1] Automated reasoning for security protocol analysis
    Armando, Alessandro
    Basin, David
    Cuellar, Jorge
    Rusinowitch, Michael
    Vigano, Luca
    [J]. JOURNAL OF AUTOMATED REASONING, 2006, 36 (1-2) : 1 - 3
  • [2] Automated Reasoning for Security Protocol Analysis
    Alessandro Armando
    David Basin
    Jorge Cuellar
    Michaël Rusinowitch
    Luca Viganò
    [J]. Journal of Automated Reasoning, 2006, 36 : 1 - 3
  • [3] Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”
    Lujo Bauer
    Sandro Etalle
    Jerry den Hartog
    Luca Viganò
    [J]. Journal of Automated Reasoning, 2011, 46 : 223 - 224
  • [4] Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning"
    Bauer, Lujo
    Etalle, Sandro
    den Hartog, Jerry
    Vigano, Luca
    [J]. JOURNAL OF AUTOMATED REASONING, 2011, 46 (3-4) : 223 - 224
  • [5] Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06)
    Degano, Pierpaolo
    Kusters, Ralf
    Vigano, Luca
    Zdancewic, Steve
    [J]. INFORMATION AND COMPUTATION, 2008, 206 (2-4) : 129 - 129
  • [6] THE FIELD OF AUTOMATED REASONING - PREFACE
    WOS, L
    [J]. COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1995, 29 (02) : R11 - R14
  • [7] Journal of Automated Reasoning: Preface
    [J]. Felty, A.P., 1600, Kluwer Academic Publishers (31): : 3 - 4
  • [8] Journal of Automated Reasoning: Preface
    Beckert, Bernhard
    Paulson, Lawrence C.
    [J]. Journal of Automated Reasoning, 2007, 38 (1-3) : 1 - 2
  • [9] Journal of Automated Reasoning: Preface
    Giesl, Jurgen
    Kapur, Deepak
    [J]. Journal of Automated Reasoning, 2005, 34 (02): : 103 - 104
  • [10] Automated Security Protocol Analysis With the AVISPA Tool
    Vigano, Luca
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 155 : 61 - 86
12345