@inbook{inbook, title = {{Searching for a solution: engineering tradeoffs and the evolution of provably secure protocols}}, publisher = {{IEEE Comput. Soc}}, url = {{https://doi.org/10.1109/secpri.2000.848447 }}, year = {{2000}}, month = {{1}}, author = {{Clark JA and Jacob JL}}, doi = {{10.1109/secpri.2000.848447}}, pages = {{82-95}}, note = {{Accessed on 2025/11/04}}}