Anonymity Protocol with Identity Escrow and Analysis in the Applied π-Calculus

Aybek Mukhamedov; Mark Ryan; G Barthe; CD Fournet

doi:10.1007/978-3-540-78663-4_22

Anonymity Protocol with Identity Escrow and Analysis in the Applied π-Calculus

Aybek Mukhamedov, Mark Ryan, G Barthe, CD Fournet

Computer Science

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	330-346
Number of pages	17
DOIs	https://doi.org/10.1007/978-3-540-78663-4_22
Publication status	Published - 9 Mar 2008
Event	Trustworthy Global Computing: Revised Selected Papers of Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 - Berlin, Heidelberg Duration: 9 Mar 2008 → …

Conference

Conference	Trustworthy Global Computing: Revised Selected Papers of Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007
City	Berlin, Heidelberg
Period	9/03/08 → …

Access to Document

10.1007/978-3-540-78663-4_22

Cite this

@conference{8f240682e90a427fbe497354b23284dc,

title = "Anonymity Protocol with Identity Escrow and Analysis in the Applied π-Calculus",

author = "Aybek Mukhamedov and Mark Ryan and G Barthe and CD Fournet",

year = "2008",

month = mar,

day = "9",

doi = "10.1007/978-3-540-78663-4_22",

language = "English",

pages = "330--346",

note = "Trustworthy Global Computing: Revised Selected Papers of Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 ; Conference date: 09-03-2008",

}

Mukhamedov, A, Ryan, M, Barthe, G & Fournet, CD 2008, 'Anonymity Protocol with Identity Escrow and Analysis in the Applied π-Calculus', Paper presented at Trustworthy Global Computing: Revised Selected Papers of Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Berlin, Heidelberg, 9/03/08 pp. 330-346. https://doi.org/10.1007/978-3-540-78663-4_22

Anonymity Protocol with Identity Escrow and Analysis in the Applied π-Calculus. / Mukhamedov, Aybek; Ryan, Mark; Barthe, G et al.
2008. 330-346 Paper presented at Trustworthy Global Computing: Revised Selected Papers of Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Berlin, Heidelberg.

Research output: Contribution to conference (unpublished) › Paper

TY - CONF

T1 - Anonymity Protocol with Identity Escrow and Analysis in the Applied π-Calculus

AU - Mukhamedov, Aybek

AU - Ryan, Mark

AU - Barthe, G

AU - Fournet, CD

PY - 2008/3/9

Y1 - 2008/3/9

U2 - 10.1007/978-3-540-78663-4_22

DO - 10.1007/978-3-540-78663-4_22

M3 - Paper

SP - 330

EP - 346

T2 - Trustworthy Global Computing: Revised Selected Papers of Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007

Y2 - 9 March 2008

ER -