Automatic Verification of Privacy Properties in the Applied Pi Calculus, Technical Report CSR-07-12

Stephanie Delaune, Mark Ryan, Benjamin Smyth

Research output: Book/Report › Commissioned report

School of Computer Science

Cite this

@book{0fb2e8a004fc462fb12beee42a8f165b,

title = "Automatic Verification of Privacy Properties in the Applied Pi Calculus, Technical Report CSR-07-12",

author = "Stephanie Delaune and Mark Ryan and Benjamin Smyth",

note = "School of Computer Science",

year = "2007",

month = dec,

day = "1",

language = "English",

publisher = "University of Birmingham",

address = "United Kingdom",

}

TY - BOOK

T1 - Automatic Verification of Privacy Properties in the Applied Pi Calculus, Technical Report CSR-07-12

AU - Delaune, Stephanie

AU - Ryan, Mark

AU - Smyth, Benjamin

N1 - School of Computer Science

PY - 2007/12/1

Y1 - 2007/12/1

M3 - Commissioned report

BT - Automatic Verification of Privacy Properties in the Applied Pi Calculus, Technical Report CSR-07-12

PB - University of Birmingham

ER -