Reliable communication in the presence of failures
ACM Transactions on Computer Systems (TOCS)
Towards Complexity Metrics for Ada Tasking
IEEE Transactions on Software Engineering
Preserving and using context information in interprocess communication
ACM Transactions on Computer Systems (TOCS)
Integrating security in a large distributed system
ACM Transactions on Computer Systems (TOCS)
Linearizability: a correctness condition for concurrent objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Lazy replication: exploiting the semantics of distributed services
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Implementing fault-tolerant services using the state machine approach: a tutorial
ACM Computing Surveys (CSUR)
A practical protocol for large group oriented networks
EUROCRYPT '89 Proceedings of the workshop on the theory and application of cryptographic techniques on Advances in cryptology
Using process groups to implement failure detection in asynchronous environments
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Authentication in distributed systems: theory and practice
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
Protocol design for large group multicasting: the message distribution protocol
Computer Communications
The ISIS project: real experience with a fault tolerant programming system
ACM SIGOPS Operating Systems Review
Ordered and reliable multicast communication
ACM Transactions on Computer Systems (TOCS)
Lightweight causal and atomic group multicast
ACM Transactions on Computer Systems (TOCS)
Multi-receiver/multi-sender network security: efficient authenticated multicast/feedback
IEEE INFOCOM '92 Proceedings of the eleventh annual joint conference of the IEEE computer and communications societies on One world through communications (Vol. 3)
Providing high availability using lazy replication
ACM Transactions on Computer Systems (TOCS)
Causal ordering in reliable group communications
SIGCOMM '93 Conference proceedings on Communications architectures, protocols and applications
Local states in distributed computations: a few relations and formulas
ACM SIGOPS Operating Systems Review
Debugging heterogeneous distributed systems using event-based models of behavior
ACM Transactions on Computer Systems (TOCS)
PVM: Parallel virtual machine: a users' guide and tutorial for networked parallel computing
PVM: Parallel virtual machine: a users' guide and tutorial for networked parallel computing
The Totem single-ring ordering and membership protocol
ACM Transactions on Computer Systems (TOCS)
Foundations of software measurement
Foundations of software measurement
Distributed process groups in the V Kernel
ACM Transactions on Computer Systems (TOCS)
Secure communication using remote procedure calls
ACM Transactions on Computer Systems (TOCS)
Log-based receiver-reliable multicast for distributed interactive simulation
SIGCOMM '95 Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
Software metrics (2nd ed.): a rigorous and practical approach
Software metrics (2nd ed.): a rigorous and practical approach
Security in distributed computing: did you lock the door?
Security in distributed computing: did you lock the door?
Consistent global states of distributed systems: fundamental concepts and mechanisms
Distributed systems (2nd Ed.)
Medusa: an experiment in distributed operating system structure
Communications of the ACM
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Reliable Multicast between Micro-Kernels
Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures
Society and Group Oriented Cryptography: A New Concept
CRYPTO '87 A Conference on the Theory and Applications of Cryptographic Techniques on Advances in Cryptology
Generalized Threshold Cryptosystems
ASIACRYPT '91 Proceedings of the International Conference on the Theory and Applications of Cryptology: Advances in Cryptology
The Rampart Toolkit for Building High-Integrity Services
Selected Papers from the International Workshop on Theory and Practice in Distributed Systems
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
A scalable, visual interface for debugging with event-based behavioral abstraction
FRONTIERS '95 Proceedings of the Fifth Symposium on the Frontiers of Massively Parallel Computation (Frontiers'95)
Efficient causally ordered communications for multimedia real-time applications
HPDC '95 Proceedings of the 4th IEEE International Symposium on High Performance Distributed Computing
Distributed protocol for selective intra-group communication
ICNP '95 Proceedings of the 1995 International Conference on Network Protocols
ICDCS '95 Proceedings of the 15th International Conference on Distributed Computing Systems
Real-time causal message ordering in multimedia systems
ICDCS '95 Proceedings of the 15th International Conference on Distributed Computing Systems
Integrating Security in a Group Oriented Distributed System
SP '92 Proceedings of the 1992 IEEE Symposium on Security and Privacy
Synchronous, asynchronous, and causally ordered communication
Distributed Computing
Vector time and causality among abstract events in distributed computations
Distributed Computing
Detecting causal relationships in distributed computations: in search of the holy grail
Distributed Computing
Specification and verification of reliability in dispatching multicast messages
The Journal of Supercomputing
Hi-index | 0.00 |
Auditability is a crucial aspect of distributed computing security. In a distributed computation environment, we may therefore want to prevent corrupt processes from denying or forging causal relationships between events. The audit of causal relationships of group multicast communications is an important component in achieving a solution to the problem of group-oriented distributed computing security. In this paper, a new approach to audit causal relationships of group multicast communications in group-oriented distributed systems is proposed. The goal of the auditing service is to collect, maintain, make available, and validate irrefutable evidence regarding causal relationships in group-oriented distributed systems. We affirm that the denial of existing causal relationships and the forgery of nonexistent causal relationships in group-oriented distributed systems can be correctly audited by our proposed approach. Also, auditing the causal delivery ordering for group multicast communications can actually be achieved. Moreover, we have validated the proposed auditing scheme to a moderately complex example. Experience indicates that the proposed scheme is indeed very useful.