CSP and Anonymity

by: Steve Schneider, Abraham Sidiropoulos

(1996), pp. 198-218.

View FullText article

CiteSeer (at Penn State), CiteSeer (at MIT), CiteSeer (at Zurich), CiteSeer (at Singapore)

Reviews [Write a review of this article]

There are no reviews of this article

Find related articles from these CiteULike users

mrkoot

Find related articles with these CiteULike tags

anonymity

Abstract

Security protocols are designed to meet particular security properties. In order to analyse such protocols formally, it is necessary to provide a formal definition of the property that they are intended to provide. This paper is concerned with the property of anonymity. It proposes a definition of anonymity within the CSP notation, discusses the approach taken by CSP to anonymity with respect to different viewpoints, and illustrates this approach on some toy examples, and then applies it to a machine-assisted analysis of the dining cryptographers example and some variants.

@inproceedings{citeulike:2280192, abstract = {Security protocols are designed to meet particular security properties. In order to analyse such protocols formally, it is necessary to provide a formal definition of the property that they are intended to provide. This paper is concerned with the property of anonymity. It proposes a definition of anonymity within the CSP notation, discusses the approach taken by CSP to anonymity with respect to different viewpoints, and illustrates this approach on some toy examples, and then applies it to a machine-assisted analysis of the dining cryptographers example and some variants.}, address = {London, UK}, author = {Schneider, Steve and Sidiropoulos, Abraham }, booktitle = {Proceedings of the 4th European Symposium on Research in Computer Security (ESORICS'96)}, citeulike-article-id = {2280192}, keywords = {anonymity}, pages = {198--218}, posted-at = {2008-01-23 11:27:57}, priority = {2}, publisher = {Springer-Verlag}, title = {CSP and Anonymity}, url = {http://citeseer.ist.psu.edu/schneider96csp.html}, year = {1996} }

RIS record

TY - CONF ID - citeulike:2280192 L3 - citeulike-article-id:2280192 TI - CSP and Anonymity T2 - Proceedings of the 4th European Symposium on Research in Computer Security (ESORICS'96) SP - 198 EP - 218 AD - London, UK PB - Springer-Verlag N2 - Security protocols are designed to meet particular security properties. In order to analyse such protocols formally, it is necessary to provide a formal definition of the property that they are intended to provide. This paper is concerned with the property of anonymity. It proposes a definition of anonymity within the CSP notation, discusses the approach taken by CSP to anonymity with respect to different viewpoints, and illustrates this approach on some toy examples, and then applies it to a machine-assisted analysis of the dining cryptographers example and some variants. KW - anonymity AU - Schneider, Steve AU - Sidiropoulos, Abraham PY - 1996/// UR - http://citeseer.ist.psu.edu/schneider96csp.html ER -

RIS BibTeX