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

by L Gong, P Syverson
Venue:In Proc. 5th Conf. Dependable Computing for Critical Applications (DCCA