Formal Analysis of Fault-tolerant Group Key Management using ZooKeeper

被引：10
|
作者：
Skeirik, Stephen [1 ]
Bobba, Rakesh B. [1 ]
Meseguer, Jose [1 ]
机构：
[1] Univ Illinois, Urbana, IL USA
来源：
PROCEEDINGS OF THE 2013 13TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND GRID COMPUTING (CCGRID 2013) | 2013年
关键词：
Security-as-a-Service; Group Key Management; Formal Verification; Maude; AGREEMENT;
D O I：
10.1109/CCGrid.2013.98
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Security-as-a-Service (SecaaS) is gaining popularity, with cloud-based anti-spam and anti-virus leading the way. In this work we look at key management as a security service and focus on group key management with a central group key manager. Specifically, we analyze a rewriting logic model of a ZooKeeper-based group key management service specified in Maude and study its tolerance to faults and performance as it scales to service larger groups using the PVeStA statistical model checking tool.
引用
收藏
页码：636 / 641
页数：6
相关论文
共 50 条
  • [21] Replica management for fault-tolerant systems
    Cherif, A
    Katayama, T
    IEEE MICRO, 1998, 18 (05) : 54 - 65
  • [22] A Fault-Tolerant and Secure Architecture for Key Management in LoRaWAN Based on Permissioned Blockchain
    Ribeiro, Victor
    Holanda, Raimir
    Ramos, Alex
    Rodrigues, Joel J. P. C.
    IEEE ACCESS, 2022, 10 : 58722 - 58735
  • [23] Research of Secure Multicast Key Management Protocol Based on Fault-Tolerant Mechanism
    Liu, Guangwei
    Xu, Jian
    Cao, Mengmeng
    Zhou, Fucai
    Zhang, Bin
    NSWCTC 2009: INTERNATIONAL CONFERENCE ON NETWORKS SECURITY, WIRELESS COMMUNICATIONS AND TRUSTED COMPUTING, VOL 2, PROCEEDINGS, 2009, : 560 - +
  • [24] Dynamic and fault-tolerant cluster management
    Gidenstam, A
    Koldehofe, B
    Papatriantafilou, M
    Tsigas, P
    FIFTH IEEE INTERNATIONAL CONFERENCE ON PEER-TO-PEER COMPUTING, PROCEEDINGS, 2005, : 237 - 244
  • [25] ANALYSIS OF TYPICAL FAULT-TOLERANT ARCHITECTURES USING HARP
    BAVUSO, SJ
    DUGAN, JB
    TRIVEDI, KS
    ROTHMANN, EM
    SMITH, WE
    IEEE TRANSACTIONS ON RELIABILITY, 1987, 36 (02) : 176 - 185
  • [26] Improvement on the fault-tolerant group key agreement protocol of Zhao et al.
    Wang, Zhiwei
    SECURITY AND COMMUNICATION NETWORKS, 2016, 9 (02) : 166 - 170
  • [27] Fault-tolerant causal delivery in group communication
    Shima, K
    Higaki, H
    Takizawa, M
    1996 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1996, : 302 - 309
  • [28] Schedulability Analysis For Fault-Tolerant Group-Based Preemptive Scheduling
    Wu, Zhaohui
    Wang, Lei
    Yang, Guoqing
    Zheng, Zengwei
    Zhao, Mingde
    INTERNATIONAL JOURNAL OF PERVASIVE COMPUTING AND COMMUNICATIONS, 2005, 1 (03) : 199 - +
  • [29] Fault-tolerant group membership protocols using physical robot messengers
    Yared, R
    Défago, X
    Katayama, T
    19TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 1, PROCEEDINGS: AINA 2005, 2005, : 921 - 926
  • [30] CRINet: A Secure and Fault-Tolerant Data Collection Scheme Using 3-way Forwarding and Group Key Management in Wireless Sensor Networks
    Huang, Jyh-Ming
    Tai, Shih-Chieh
    Chen, Kuong-Ho
    WTS: 2009 WIRELESS TELECOMMUNICATIONS SYMPOSIUM, 2009, : 177 - 182
12345