DISTRIBUTED REACHABILITY ANALYSIS FOR PROTOCOL VERIFICATION ENVIRONMENTS

被引：0
|
作者：
AGGARWAL, S
ALONSO, R
COURCOUBETIS, C
机构：
[1] PRINCETON UNIV,DEPT COMP SCI,PRINCETON,NJ 08544
[2] AT&T BELL LABS,MURRAY HILL,NJ 07974
来源：
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES | 1988年 / 103卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：40 / 56
页数：17
相关论文
共 50 条
  • [41] SDRP: a secure distributed revocation protocol for vehicular environments
    Chaib, Noureddine
    Lagraa, Nasreddine
    Yagoubi, Mohamed Bachir
    Lakas, Abderrahmane
    SECURITY AND COMMUNICATION NETWORKS, 2016, 9 (04) : 279 - 289
  • [42] Using data consistency protocol in distributed computing environments
    No, Jaechun
    Park, Chang Won
    Park, Sung Soon
    PARALLEL AND DISTRIBUTED PROCESSING AND APPLICATIONS, 2006, 4330 : 607 - +
  • [43] Performance analysis of the REAchability protocol for IPv6 multihoming
    de la Oliva, Antonio
    Bagnulo, Marcelo
    Garcia-Martinez, Alberto
    Soto, Ignacio
    NEXT GENERATION TELETRAFFIC AND WIRED/WIRELESS ADVANCED NETWORKING, PROCEEDINGS, 2007, 4712 : 443 - +
  • [44] Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming
    Fazlyab, Mahyar
    Morari, Manfred
    Pappas, George J.
    2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC), 2019, : 2726 - 2731
  • [45] Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis
    Zhang, Hongce
    Shinn, Maxwell
    Gupta, Aarti
    Gurfinkel, Arie
    Nham Le
    Narodytska, Nina
    ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, 325 : 1690 - 1697
  • [46] Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability
    Pelozo, Silvia S.
    D'Argenio, Pedro R.
    TRUSTWORTHY GLOBAL COMPUTING, TGC 2013, 2013, 8358 : 182 - 197
  • [47] Verification and Control of Hybrid Systems using Reachability Analysis with Machine Learning
    Aswani, Anil
    Ding, Jerry
    Huang, Haomiao
    Vitus, Michael
    Gillula, Jeremy
    Bouffard, Patrick
    Tomlin, Claire J.
    HSCC 12: PROCEEDINGS OF THE 15TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2012, : 1 - 1
  • [48] Protocol analysis for concrete environments
    Gollmann, D
    COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2005, 2005, 3643 : 365 - 372
  • [49] Logic-based Verification of the Distributed Dining Philosophers Protocol
    Delzanno, Giorgio
    FUNDAMENTA INFORMATICAE, 2018, 161 (1-2) : 113 - 133
  • [50] COMPOSITIONAL VERIFICATION OF A DISTRIBUTED REAL-TIME ARBITRATION PROTOCOL
    HOOMAN, J
    REAL-TIME SYSTEMS, 1994, 6 (02) : 173 - 205
12345