Buy Used and New SteveSchneider Books

Modelling and Analysis of Security Protocols

by Michael Goldsmith, Steve Schneider, Peter Ryan, Bill Roscoe, Gavin Lowe

ISBN 13: 9780201674712

Format: Paperback (320 pages)
Publisher: Addison Wesley
Published: 06 Dec 2000

Save for later

Concurrent And Real-Time Systems: The CSP Approach (Worldwide Series in Computer Science)

by Steve Schneider

ISBN 13: 9780471623731

Format: Paperback (528 pages)
Publisher: John Wiley & Sons
Published: 15 Sep 1999

Save for later

Formal Aspects in Security and Trust: Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers ... Computer Science / Security and Cryptology)

by

ISBN 13: 9783540326281

Format: Paperback (269 pages)
Publisher: Springer
Published: 23 Mar 2006

Save for later

Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers ... Computer Science / Security and Cryptology)

by

ISBN 13: 9783540752264

Format: Paperback (285 pages)
Publisher: Springer
Published: 17 Sep 2007

Save for later