Exploring adaptability of secure group communication using formal prototyping techniques

Authors:
Sebastian Gutierrez-Nolasco;Nalini Venkatasubramanian;Mark-Oliver Stehr;Carolyn Talcott
Affiliations:
University of California Irvine, Irvine, CA;University of California Irvine, Irvine, CA;University of Illinois at Urbana-Champaign, Urbana, IL;SRI International, Menlo-Park, CA
Venue:
ARM '04 Proceedings of the 3rd workshop on Adaptive and reflective middleware
Year:
2004

Citing 15
Cited 6

Conditional rewriting logic as a unified model of concurrency

Selected papers of the Second Workshop on Concurrency and compositionality
Secure agreement protocols: reliable and atomic group multicast in rampart

CCS '94 Proceedings of the 2nd ACM Conference on Computer and communications security
The Totem single-ring ordering and membership protocol

ACM Transactions on Computer Systems (TOCS)
Horus: a flexible group communication system

Communications of the ACM
Specifying and using a partitionable group communication service

PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
A reliable multicast framework for light-weight sessions and application level framing

IEEE/ACM Transactions on Networking (TON)
Simple and fault-tolerant key agreement for dynamic collaborative groups

Proceedings of the 7th ACM conference on Computer and communications security
Key Agreement in Dynamic Peer Groups

IEEE Transactions on Parallel and Distributed Systems
Communication-efficient group key agreement

Sec '01 Proceedings of the 16th international conference on Information security: Trusted information: the new decade challenge
The SecureRing Protocols for Securing Group Communication

HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences - Volume 3
Secure Group Communication in Asynchronous Networks with Failures: Integration and Experiments

ICDCS '00 Proceedings of the The 20th International Conference on Distributed Computing Systems ( ICDCS 2000)
Ensemble Security

Ensemble Security
Practical wide area group communication

Practical wide area group communication
Secure Group Communication Using Robust Contributory Key Agreement

IEEE Transactions on Parallel and Distributed Systems
The maude 2.0 system

RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications

Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude

Formal Methods in System Design
Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol

Electronic Notes in Theoretical Computer Science (ENTCS)
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic

All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Ensuring security and availability through model-based cross-layer adaptation

UIC'11 Proceedings of the 8th international conference on Ubiquitous intelligence and computing
A rewriting logic sampler

ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
A study of unpredictability in fault-tolerant middleware

Computer Networks: The International Journal of Computer and Telecommunications Networking

Quantified Score

Hi-index	0.00

Visualization

Abstract

Traditionally, adaptability in communication frameworks has been restricted to predefined choices without taking into consideration tradeoffs between them and the application requirements. Furthermore, different applications with an entire spectrum of requirements will have to adapt to these predefined choices instead of tailoring the communication framework to fit their needs. In this paper we extend an executable specification of a state-of-the-art secure group communication subsystem to explore two dimensions of adaptability, namely security and synchrony. In particular, we relax the traditional requirement of virtual synchrony (a well-known bottleneck) and propose various generic optimizations, while preserving essential security guarantees.