Check out the new USENIX Web site. next up previous
Next: Abstract Protocol Language Up: Secure Transaction Protocol Previous: Protocol State Transitions

Formal Specification


Douglas H. Steves
Sun May 4 15:10:15 CDT 1997