PS-LTL for Constraint-based Security Protocol Analysis

Research output: Book/Report › Report › Professional

Original language	English
Place of Publication	Enschede
Publisher	INF-Centre for Telematics and Information Techn.
Publication status	Published - 2005

Name	CTIT Technical Report Series
ISSN (Print)	1381-3625

Keywords

@book{8157358ad8da4de8948f841a0f6c1fc8,

title = "PS-LTL for Constraint-based Security Protocol Analysis",

keywords = "METIS-228779",

author = "R.J. Corin and Sandro Etalle and A. Saptawijaya",

note = "Cor05a Imported from DIES ",

year = "2005",

language = "English",

series = "CTIT Technical Report Series",

publisher = "INF-Centre for Telematics and Information Techn.",

}

TY - BOOK

T1 - PS-LTL for Constraint-based Security Protocol Analysis

AU - Corin, R.J.

AU - Etalle, Sandro

AU - Saptawijaya, A.

N1 - Cor05a Imported from DIES

PY - 2005

Y1 - 2005

KW - METIS-228779

M3 - Report

T3 - CTIT Technical Report Series

BT - PS-LTL for Constraint-based Security Protocol Analysis

PB - INF-Centre for Telematics and Information Techn.

CY - Enschede

ER -