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 条
  • [1] Using AVL trees for fault-tolerant group key management
    Ohad Rodeh
    Kenneth P. Birman
    Danny Dolev
    International Journal of Information Security, 2002, 1 (2) : 84 - 99
  • [2] A new approach to scalable and fault-tolerant group key management protocols
    Seba, H
    Bouabdallah, A
    Badache, N
    JOURNAL OF HIGH SPEED NETWORKS, 2004, 13 (04) : 283 - 296
  • [3] Towards fault-tolerant Formal Concept Analysis
    Pensa, RG
    Boulicaut, JF
    AI*IA2005: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, 3673 : 212 - 223
  • [4] An efficient fault-tolerant group key agreement protocol
    Zhao, Jianjie
    Gu, Dawu
    Li, Yali
    COMPUTER COMMUNICATIONS, 2010, 33 (07) : 890 - 895
  • [5] An application of formal analysis to software in a fault-tolerant environment
    Chisholm, GH
    Wojcik, AS
    IEEE TRANSACTIONS ON COMPUTERS, 1999, 48 (10) : 1053 - 1064
  • [6] Fault-Tolerant and Scalable Key Management for Smart Grid
    Wu, Dapeng
    Zhou, Chi
    IEEE TRANSACTIONS ON SMART GRID, 2011, 2 (02) : 375 - 381
  • [7] A secure and efficient fault-tolerant group key agreement protocol
    Fu, Anmin
    Zhang, Gongxuan
    Zhu, Zhenchao
    2013 12TH IEEE INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS (TRUSTCOM 2013), 2013, : 310 - 314
  • [8] Formal analysis of feature degradation in fault-tolerant automotive systems
    Becker, Klaus
    Voss, Sebastian
    Schaetz, Bernhard
    SCIENCE OF COMPUTER PROGRAMMING, 2018, 154 : 89 - 133
  • [9] A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems
    Becker, Klaus
    Voss, Sebastian
    FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, (FTSCS 2015), 2016, 596 : 139 - 154
  • [10] FTKM: A fault-tolerant key management protocol for multicast communications
    Seba, H.
    COMPUTERS & SECURITY, 2006, 25 (06) : 426 - 434
12345