A search-based approach to the automated design of security protocols

Hao, C, Clark, JA orcid.org/0000-0002-9230-9739 and Jacob, Jeremy Lawrence orcid.org/0000-0003-4806-7426 (2004) A search-based approach to the automated design of security protocols. Report. York Computer Science Technical Report Series ("Yellow Reports"), York Computer Scienc . Department of Computer Science, University of York

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: Freely available already.
Keywords: Metaheuristic Search,Authentication protocols,Automatic synthesis,Simulated annealing,Genetic Algorithms,Protocols library
Dates:
  • Published: 2004
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 07 Jun 2012 19:23
Last Modified: 04 Apr 2021 00:00
Status: Published
Publisher: Department of Computer Science, University of York
Series Name: York Computer Science Technical Report Series ("Yellow Reports")
Refereed: No

Share / Export