SPANNER - A TOOL FOR THE SPECIFICATION, ANALYSIS, AND EVALUATION OF PROTOCOLS

被引：12
|
作者：
AGGARWAL, S
BARBARA, D
METH, KZ
机构：
[1] AT&T BELL LABS,MATH SCI RES CTR,MURRAY HILL,NJ 07974
[2] UNIV SIMON BOLIVAR,DEPT MATH & CIENCIAS COMPUTAT,CARACAS,VENEZUELA
[3] NYU,COURANT INST MATH SCI,NEW YORK,NY 10012
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1987年 / 13卷 / 12期
关键词：
D O I：
10.1109/TSE.1987.232877
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：1218 / 1237
页数：20
相关论文
共 50 条
  • [1] A SPECIFICATION AND VERIFICATION TOOL FOR COMMUNICATION PROTOCOLS
    KAUR, H
    GRIER, JB
    CAMPBELL, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 507 : 234 - 241
  • [2] SPECIFICATION AND ANALYSIS OF A COMPOSITION OF PROTOCOLS
    LUNDY, GM
    [J]. INFORMATION SCIENCES, 1993, 70 (03) : 221 - 239
  • [3] MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols
    Sinigaglia, Federico
    Carbone, Roberto
    Costa, Gabriele
    Ranise, Silvio
    [J]. EMERGING TECHNOLOGIES FOR AUTHORIZATION AND AUTHENTICATION, ETAA 2019, 2020, 11967 : 138 - 155
  • [4] A review on specification evaluation of broadcasting routing protocols in VANET
    Shah, Priyanka
    Kasbe, Tanmay
    [J]. COMPUTER SCIENCE REVIEW, 2021, 41
  • [5] Process algebraic frameworks for the specification and analysis of cryptographic protocols
    Gorrieri, R
    Martinelli, F
    [J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2003, PROCEEDINGS, 2003, 2747 : 46 - 67
  • [6] SPECIFICATION AND VALIDATION OF PROTOCOLS
    MERLIN, PM
    [J]. IEEE TRANSACTIONS ON COMMUNICATIONS, 1979, 27 (11) : 1671 - 1680
  • [7] PEREGRINE: A Tool for the Analysis of Population Protocols
    Blondin, Michael
    Esparza, Javier
    Jaax, Stefan
    [J]. COMPUTER AIDED VERIFICATION (CAV 2018), PT I, 2018, 10981 : 604 - 611
  • [8] Informal specification-based performance evaluation off security protocols
    Bela, Genge
    Piroska, Haller
    Ignat, Iosif
    Ratoi, Ovidiu
    [J]. 2008 IEEE 4TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTER COMMUNICATION AND PROCESSING, PROCEEDINGS, 2008, : 193 - 200
  • [9] Evaluation of A Tool for Java']Java Structural Specification Checking
    Dil, Anton
    Osunde, Joseph
    [J]. PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON EDUCATION TECHNOLOGY AND COMPUTERS (ICETC 2018), 2018, : 99 - 104
  • [10] Bridging the gap between formal specification and analysis of communication protocols
    Miller, RE
    Xue, Y
    [J]. CONFERENCE PROCEEDINGS OF THE 1996 IEEE FIFTEENTH ANNUAL INTERNATIONAL PHOENIX CONFERENCE ON COMPUTERS AND COMMUNICATIONS, 1996, : 225 - 231
12345