Computer Science and Artificial Intelligence Lab (CSAIL): Recent submissions
Now showing items 103-105 of 3794
-
Group Communication Specifications: A Comprehensive Study
(1999-09)View-oriented group communication is an important and widely used building block for many distributed applications. Much current research has been dedicated to specifying the semantics and services of view-oriented Group ... -
I/O Automaton Models and Proofs for Shared-Key Communication Systems
(1999-08)The combination of two security protocols, a simple shared-key communication protocol and the Diffie-Hellman key distribution protocol, is modeled formally and proved correct. The modeling is based on the I/O automaton ...
