Synthesising efficient and effective security protocols

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	25-41
Number of pages	17
Journal	Electronic Notes in Theoretical Computer Science
Volume	125
Issue number	1
Publication status	Published - 2005

Query date: 14/01/2011

Access to Document

@article{e9fc0360e3b64b818a6eee3b923b8968,

title = "Synthesising efficient and effective security protocols",

author = "Hao Chen and Clark, {John A.} and Jacob, {Jeremy L.}",

note = "Query date: 14/01/2011",

year = "2005",

language = "English",

volume = "125",

pages = "25--41",

journal = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

number = "1",

}