Formal specification and verification of the intrusion-Tolerant enclaves protocol

被引：0
|
作者：
Computer Science Department, McGill University, 3480 University Street, Montreal, QC, Canada [1 ]
不详 [2 ]
不详 [3 ]
机构：
来源：
Int. J. Netw. Secur. | 2007年 / 3卷 / 288-298期
关键词：
24;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Formal verification of an intrusion-tolerant group membership protocol
    Ramasamy, HV
    Cukier, M
    Sanders, WH
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2003, E86D (12): : 2612 - 2622
  • [2] Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system
    Ramasamy, HV
    Cukier, M
    Sanders, WH
    2002 PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2002, : 9 - 18
  • [3] Intrusion-tolerant enclaves
    Dutertre, B
    Crettaz, V
    Stavridou, V
    2002 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2002, : 216 - 224
  • [4] Intrusion-tolerant group management in enclaves
    Dutertre, B
    Saïdi, H
    Stavridou, V
    INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2001, : 203 - 212
  • [5] Intrusion-tolerant group management in enclaves -: (Transcript of discussion)
    Saïdi, H
    SECURITY PROTOCOLS, 2002, 2467 : 213 - 216
  • [6] On the correctness of an intrusion-tolerant group communication protocol
    Layouni, M
    Hooman, J
    Tahar, S
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2003, 2860 : 231 - 246
  • [7] Intrusion-tolerant intrusion detection system
    Yi, MK
    Hwang, CS
    INTELLIGENCE AND SECURITY INFORMATICS, PROCEEDINGS, 2004, 3073 : 476 - 483
  • [8] ITB: Intrusion-tolerant broadcast protocol in wireless sensor networks
    Lee, Jin Wook
    Lee, Yann-Hang
    HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, PROCEEDINGS, 2006, 4208 : 505 - 514
  • [9] SecureStream: An intrusion-tolerant protocol for live-streaming dissemination
    Haridasan, Maya
    van Renesse, Robbert
    COMPUTER COMMUNICATIONS, 2008, 31 (03) : 563 - 575
  • [10] Formal specification and verification of a micropayment protocol
    Gouda, MG
    Liu, AX
    ICCCN 2004: 13TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS, PROCEEDINGS, 2004, : 489 - 494
12345