Using the coral System to Discover Attacks on Security Protocols

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Computer Systems: Theory, Technology and Applications
Editors	A. Herbert, K. Sp¨arck Jones
Publisher	Springer
ISBN (Print)	0-387-20170-X
Publication status	Published - 2004

Access to Document

@inbook{851842c5c5834e0a81d4bb52e4d664f4,

title = "Using the coral System to Discover Attacks on Security Protocols",

author = "Alan Bundy",

year = "2004",

language = "English",

isbn = "0-387-20170-X",

editor = "A. Herbert and {Sp¨arck Jones}, K.",

booktitle = "Computer Systems: Theory, Technology and Applications",

publisher = "Springer",

address = "United Kingdom",

}