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 条
  • [31] Glencoe - A Tool for Specification, Visualization and Formal Analysis of Product Lines
    Schmitt, Anna
    Bettinger, Christian
    Rock, Georg
    [J]. TRANSDISCIPLINARY ENGINEERING METHODS FOR SOCIAL INNOVATION OF INDUSTRY 4.0, 2018, 7 : 665 - 673
  • [32] Requirements specification and evaluation for transient faults in communication protocols based on RT-FRIDA framework
    Roque, Alexandre S.
    Nunes, Gerson L.
    Freitas, Edison P.
    Pereira, Carlos E.
    [J]. IFAC PAPERSONLINE, 2018, 51 (10): : 76 - 81
  • [33] Specification and performance evaluation of two zone dissemination protocols for vehicular ad-hoc networks
    Bronsted, J
    Kristensen, LM
    [J]. 39TH ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS, 2006, : 68 - +
  • [34] Panel on languages for formal specification of security protocols
    Meadows, C
    [J]. 10TH COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 1997, : 96 - 96
  • [35] DESIGN OF PROTOCOLS - SPECIFICATION AND FORMAL DESCRIPTION TECHNIQUES
    MESTRAS, JP
    PEREDA, O
    TOMAS, JG
    [J]. REVISTA DE INFORMATICA Y AUTOMATICA, 1988, 21 (01): : 28 - 37
  • [36] SPECIFICATION OF THE NETWORK PROTOCOLS WITH INTERNAL MEASUREMENT FUNCTIONS
    APRAKSIN, JK
    ZAPEVALIN, AA
    [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1989, (05): : 44 - 45
  • [37] Specification Based Conformance Testing for Email Protocols
    Pakulin, Nikolay
    Tugaenko, Anastasia
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 : 371 - 381
  • [38] FORMAL SPECIFICATION AND VERIFICATION OF SECURE COMMUNICATION PROTOCOLS
    KNAPSKOG, SJ
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 453 : 58 - 73
  • [39] Integrated Specification and Verification of Security Protocols and Policies
    Frau, Simone
    Torabi-Dashti, Mohammad
    [J]. 2011 IEEE 24TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2011, : 18 - 32
  • [40] A New Visual Simulation Tool for Performance Evaluation of MANET Routing Protocols
    Sakib, Md. Sabbir Rahman
    Saquib, Nazmus
    Pathan, Al-Sakib Khan
    [J]. ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, PT 2, PROCEEDINGS, 2010, 6082 : 208 - +
12345