Fail-stop protocols: An approach to designing secure protocols (1995)

by Li Gong, Paul Syverson
Venue:In Proceedings of the 5th IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-5