Planning attacks to security protocols: Case studies in logic programming

Research output: Book / Report › Book › Academic › peer-review

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	2407

VU Research Profile

@book{ebce1af2c1ee425183120f179c84dd3a,

title = "Planning attacks to security protocols: Case studies in logic programming",

author = "L.C. Aiello and F. Massacci",

year = "2002",

doi = "10.1007/3-540-45628-7\_20",

language = "English",

isbn = "978-3-540-43959-2",

volume = "2407",

series = "Lecture Notes in Computer Science",

publisher = "Springer LNCS",

}

TY - BOOK

T1 - Planning attacks to security protocols: Case studies in logic programming

AU - Aiello, L.C.

AU - Massacci, F.

PY - 2002

Y1 - 2002

UR - https://www.scopus.com/pages/publications/84867628211

U2 - 10.1007/3-540-45628-7_20

DO - 10.1007/3-540-45628-7_20

M3 - Book

SN - 978-3-540-43959-2

VL - 2407

T3 - Lecture Notes in Computer Science

BT - Planning attacks to security protocols: Case studies in logic programming

PB - Springer LNCS

CY - Berlin Heidelberg, Germany

ER -