TY - CHAP T1 - Searching for a solution: engineering tradeoffs and the evolution of provably secure protocols UR - https://doi.org/10.1109/secpri.2000.848447 PY - 2000/01/01 AU - Clark JA AU - Jacob JL ED - DO - DOI: 10.1109/secpri.2000.848447 PB - IEEE Comput. Soc SP - 82 EP - 95 Y2 - 2025/12/20 ER -