Abstrakt. Säkerhetsprotokoll är utformade för att uppfylla särskilda säkerhetsegenskaper. För att kunna analysera sådana protokoll formellt är det nödvändigt att tillhandahålla en formell beskrivning av den egendom som de är avsedda att tillhandahålla. Detta dokument handlar om anonymitetens egendom. Den föreslår en definition av anonymitet inom CSP-notationen, diskuterar CSP:s tillvägagångssätt för anonymitet med avseende på olika synvinklar, och illustrerar detta tillvägagångssätt på vissa leksaksexempel, och tillämpar det sedan på en maskinassisterad analys av matkryptografernas exempel och några varianter.
Därför föreslår REF en formalisering av anonymitet inom ramen för CSP.
CSP and Anonymity
{'venue': 'ESORICS', 'journal': None, 'mag_field_of_study': ['Computer Science']}