Prudent Engineering Practice for Cryptographic Protocols (1994) [pdf]cs.utexas.edu11 pointskushti10 years ago