Automated design of security protocols

Hao, C., Clark, J.A. and Jacob, J.L. (2004) Automated design of security protocols. Computational Intelligence, 20 (3). pp. 503-516. ISSN 0824-7935

Abstract

Metadata

Authors/Creators:
  • Hao, C.
  • Clark, J.A. ( john.clark@cs.york.ac.uk)
  • Jacob, J.L.
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: York RAE Import
Date Deposited: 07 Jul 2009 14:32
Last Modified: 07 Jul 2009 14:32
Published Version: http://dx.doi.org/10.1111/j.0824-7935.2004.00249.x
Status: Published
Publisher: John Wiley & Sons, Inc.,
Identification Number: https://doi.org/10.1111/j.0824-7935.2004.00249.x

Share / Export

Statistics