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



  • Hao, C.
  • Clark, J.A. (
  • Jacob, J.L.
  • Published: July 2004
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (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:
Status: Published
Publisher: John Wiley & Sons, Inc.,
Identification Number:

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Share / Export