Automatic Verification of Privacy Properties in the Applied pi Calculus

SP Delaune; Mark Ryan; Benjamin Smyth; YC Karabulut; J Mitchell; P Herrmann; CD Jensen

doi:10.1007/978-0-387-09428-1_17

Automatic Verification of Privacy Properties in the Applied pi Calculus

SP Delaune, Mark Ryan, Benjamin Smyth, YC Karabulut, J Mitchell, P Herrmann, CD Jensen

Computer Science

Research output: Contribution to conference (unpublished) › Paper

41 Citations (Scopus)

Original language	English
Pages	263-278
Number of pages	16
DOIs	https://doi.org/10.1007/978-0-387-09428-1_17
Publication status	Published - 18 May 2008
Event	Trust Management II: Proceedings of 2nd Joint iTrust and PST Conferences on Privacy, Trust Management and Security (IFIPTM 2008) June 18-20, 2008, Trondheim, Norway, IFIP The International Federation for Information Processing - Boston, MA Duration: 18 May 2008 → …

Conference

Conference	Trust Management II: Proceedings of 2nd Joint iTrust and PST Conferences on Privacy, Trust Management and Security (IFIPTM 2008) June 18-20, 2008, Trondheim, Norway, IFIP The International Federation for Information Processing
City	Boston, MA
Period	18/05/08 → …

Access to Document

10.1007/978-0-387-09428-1_17

Verifying Anonymity and Privacy Properties of Security Protocols
Ryan, M. (Principal Investigator)
Engineering & Physical Science Research Council
1/05/07 → 31/10/08
Project: Research Councils

Cite this

Delaune, SP., Ryan, M., Smyth, B., Karabulut, YC., Mitchell, J., Herrmann, P., & Jensen, CD. (2008). Automatic Verification of Privacy Properties in the Applied pi Calculus. 263-278. Paper presented at Trust Management II: Proceedings of 2nd Joint iTrust and PST Conferences on Privacy, Trust Management and Security (IFIPTM 2008) June 18-20, 2008, Trondheim, Norway, IFIP The International Federation for Information Processing, Boston, MA. https://doi.org/10.1007/978-0-387-09428-1_17

Delaune, SP ; Ryan, Mark ; Smyth, Benjamin et al. / Automatic Verification of Privacy Properties in the Applied pi Calculus. Paper presented at Trust Management II: Proceedings of 2nd Joint iTrust and PST Conferences on Privacy, Trust Management and Security (IFIPTM 2008) June 18-20, 2008, Trondheim, Norway, IFIP The International Federation for Information Processing, Boston, MA.16 p.

@conference{94ad7849956d44a68814b24f907439f9,

title = "Automatic Verification of Privacy Properties in the Applied pi Calculus",

author = "SP Delaune and Mark Ryan and Benjamin Smyth and YC Karabulut and J Mitchell and P Herrmann and CD Jensen",

year = "2008",

month = may,

day = "18",

doi = "10.1007/978-0-387-09428-1_17",

language = "English",

pages = "263--278",

note = "Trust Management II: Proceedings of 2nd Joint iTrust and PST Conferences on Privacy, Trust Management and Security (IFIPTM 2008) June 18-20, 2008, Trondheim, Norway, IFIP The International Federation for Information Processing ; Conference date: 18-05-2008",

}

Delaune, SP, Ryan, M, Smyth, B, Karabulut, YC, Mitchell, J, Herrmann, P & Jensen, CD 2008, 'Automatic Verification of Privacy Properties in the Applied pi Calculus', Paper presented at Trust Management II: Proceedings of 2nd Joint iTrust and PST Conferences on Privacy, Trust Management and Security (IFIPTM 2008) June 18-20, 2008, Trondheim, Norway, IFIP The International Federation for Information Processing, Boston, MA, 18/05/08 pp. 263-278. https://doi.org/10.1007/978-0-387-09428-1_17

Automatic Verification of Privacy Properties in the Applied pi Calculus. / Delaune, SP; Ryan, Mark; Smyth, Benjamin et al.
2008. 263-278 Paper presented at Trust Management II: Proceedings of 2nd Joint iTrust and PST Conferences on Privacy, Trust Management and Security (IFIPTM 2008) June 18-20, 2008, Trondheim, Norway, IFIP The International Federation for Information Processing, Boston, MA.

Research output: Contribution to conference (unpublished) › Paper

TY - CONF

T1 - Automatic Verification of Privacy Properties in the Applied pi Calculus

AU - Delaune, SP

AU - Ryan, Mark

AU - Smyth, Benjamin

AU - Karabulut, YC

AU - Mitchell, J

AU - Herrmann, P

AU - Jensen, CD

PY - 2008/5/18

Y1 - 2008/5/18

U2 - 10.1007/978-0-387-09428-1_17

DO - 10.1007/978-0-387-09428-1_17

M3 - Paper

SP - 263

EP - 278

T2 - Trust Management II: Proceedings of 2nd Joint iTrust and PST Conferences on Privacy, Trust Management and Security (IFIPTM 2008) June 18-20, 2008, Trondheim, Norway, IFIP The International Federation for Information Processing

Y2 - 18 May 2008

ER -

Delaune SP, Ryan M, Smyth B, Karabulut YC, Mitchell J, Herrmann P et al.. Automatic Verification of Privacy Properties in the Applied pi Calculus. 2008. Paper presented at Trust Management II: Proceedings of 2nd Joint iTrust and PST Conferences on Privacy, Trust Management and Security (IFIPTM 2008) June 18-20, 2008, Trondheim, Norway, IFIP The International Federation for Information Processing, Boston, MA. doi: 10.1007/978-0-387-09428-1_17

Automatic Verification of Privacy Properties in the Applied pi Calculus

Conference

Access to Document

Projects

Verifying Anonymity and Privacy Properties of Security Protocols

Cite this