Edinburgh Research Explorer

Using the coral System to Discover Attacks on Security Protocols

Research output: Chapter in Book/Report/Conference proceedingChapter

Related Edinburgh Organisations

Open Access permissions

Open

Documents

Original languageEnglish
Title of host publicationComputer Systems: Theory, Technology and Applications
EditorsA. Herbert, K. Sp¨arck Jones
PublisherSpringer-Verlag GmbH
ISBN (Print)0-387-20170-X
StatePublished - 2004

Download statistics

No data available

ID: 405607