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

Item Type: Monograph
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: 23 Jan 2025 00:44
Status: Published
Publisher: Department of Computer Science, University of York
Series Name: York Computer Science Technical Report Series ("Yellow Reports")
Open Archives Initiative ID (OAI ID):

Export

Statistics