Using Trace Formulae for Security Protocol Design

R.J. Corin, Antonio Durante, Sandro Etalle, Pieter H. Hartel

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

12 Downloads (Pure)

Original language	Undefined
Title of host publication	7th Cabernet Radicals Workshop
Editors	J. Finney, M. Haahr, A. Montresor
Pages	-
Publication status	Published - 2002
Event	7th CaberNet Radicals Workshop 2002 - Bertinoro, Italy Duration: 13 Oct 2002 → 16 Oct 2002 http://research.cs.ncl.ac.uk/cabernet/www.laas.research.ec.org/cabernet/workshops/radicals/2002/bertinoro.htm

Workshop	7th CaberNet Radicals Workshop 2002
Country/Territory	Italy
City	Bertinoro
Period	13/10/02 → 16/10/02
Internet address	http://research.cs.ncl.ac.uk/cabernet/www.laas.research.ec.org/cabernet/workshops/radicals/2002/bertinoro.htm

Keywords

@inproceedings{daa245a826c64eedb9d582dc4786d8cf,

title = "Using Trace Formulae for Security Protocol Design",

keywords = "IR-38294, METIS-209825",

author = "R.J. Corin and Antonio Durante and Sandro Etalle and Hartel, {Pieter H.}",

year = "2002",

language = "Undefined",

pages = "--",

editor = "J. Finney and M. Haahr and A. Montresor",

booktitle = "7th Cabernet Radicals Workshop",

note = "null ; Conference date: 13-10-2002 Through 16-10-2002",

url = "http://research.cs.ncl.ac.uk/cabernet/www.laas.research.ec.org/cabernet/workshops/radicals/2002/bertinoro.htm",

}

TY - GEN

T1 - Using Trace Formulae for Security Protocol Design

AU - Corin, R.J.

AU - Durante, Antonio

AU - Etalle, Sandro

AU - Hartel, Pieter H.

PY - 2002

Y1 - 2002

KW - IR-38294

KW - METIS-209825

M3 - Conference contribution

SP - -

BT - 7th Cabernet Radicals Workshop

A2 - Finney, J.

A2 - Haahr, M.

A2 - Montresor, A.

Y2 - 13 October 2002 through 16 October 2002

ER -