TY - CHAP T1 - Searching for a solution: engineering tradeoffs and the evolution of provably secure protocols PY - 2000/01/01 AU - Clark JA AU - Jacob JL ED - DO - DOI: 10.1109/secpri.2000.848447 PB - IEEE Comput. Soc Y2 - 2024/10/23 ER -