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