Using Trace Formulae for Security Protocol Design

Research output: Book/Report › Report › Other research output

26 Downloads (Pure)

Original language	Undefined
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Publication status	Published - Sept 2002

Name	CTIT technical reports series
Publisher	Centre for Telematics and Information Technology, University of Twente
No.	TR-CTI
ISSN (Print)	1381-3625

Keywords

@book{c7d6ef5613a74a53a6d076b049e1de81,

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

keywords = "SCS-Cybersecurity, IR-63064, EWI-5858",

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

note = "Imported from CTIT",

year = "2002",

month = sep,

language = "Undefined",

series = "CTIT technical reports series",

publisher = "Centre for Telematics and Information Technology (CTIT)",

number = "TR-CTI",

address = "Netherlands",

}

TY - BOOK

T1 - Using Trace Formulae for Security Protocol Design

AU - Corin, R.J.

AU - Durante, A.

AU - Etalle, Sandro

AU - Hartel, Pieter H.

N1 - Imported from CTIT

PY - 2002/9

Y1 - 2002/9

KW - SCS-Cybersecurity

KW - IR-63064

KW - EWI-5858

M3 - Report

T3 - CTIT technical reports series

BT - Using Trace Formulae for Security Protocol Design

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -