Next:
Overview
Up:
A Protocol for Secure
Previous:
Atomicity and Isolation
Secure Transaction Protocol
Overview
Protocol Messages
Protocol States
Protocol State Transitions
Formal Specification
Douglas H. Steves
Sun May 4 15:10:15 CDT 1997
