@book{book, title  = {{A search-based approach to the automated design of security protocols}},

 url = {{}},

 year = {{2004}},

 month = {{1}},

 author = {{Hao C and Clark JA and Jacob JL}},

 volume = {{York Computer Science Technical Report}},

 note = {{Accessed on 2024/12/22}}}