Modelling and Analysis of Security Protocols The Csp Approach

Peter Ryan has over 15 years' experience in cryptography and mathematical modelling, computer security and formal methods, gained at GCHQ, CESG, DERA and SRI Cambridge. He is a DERA Fellow, an IMA Fellow and Chair of the Steering Committee of ESORICS. In 1999 he was awarded the title of DERA Fellow Steve Schneider is a Senior Lecturer in the Department of Computer Science, Royal Holloway, University of London, UK. He has published a large number of journal and conference papers in the areas of concurrency theory and securityRyan, Peter is the author of 'Modelling and Analysis of Security Protocols The Csp Approach' with ISBN 9780201674712 and ISBN 0201674718.