@article{article, title = {{Protocols are programs too: the meta-heuristic search for security protocols}}, publisher = {{Elsevier BV}}, url = {{}}, year = {{2001}}, month = {{12}}, author = {{Clark JA and Jacob JL}}, doi = {{10.1016/s0950-5849(01)00195-1}}, volume = {{43}}, journal = {{Information and Software Technology}}, issue = {{14}}, pages = {{891-904}}, note = {{Accessed on 2025/05/20}}}