Cluster Computing and the Grid, IEEE International Symposium on (2013)
Delft, Netherlands Netherlands
May 13, 2013 to May 16, 2013
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 witha central group key manager. Specifically, we analyze are writing 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.
Maude, Security-as-a-Service, Group Key Management, Formal Verification
S. Skeirik, R. B. Bobba and J. Meseguer, "Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeper," 2013 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid)(CCGRID), Delft, 2013, pp. 636-641.