Vi introducerar begreppet grupphuvudman och presenterar ett antal olika klasser av grupphuvudmän, inklusive tröskelgruppshuvudmän. Dessa verkar naturligt användbara begrepp för att titta på säkerhet. Vi tillhandahåller ett tillhörande epistemiskt språk och logik och använder det för att resonera om anonymitet protokoll och anonymitet tjänster, där skydd egenskaper formuleras från inkräktarens kunskap om grupp principer. Med vårt språk ger vi en epistemisk karakterisering av anonymitetsegenskaper. Vi presenterar också en specifikation av ett enkelt anonymiseringssystem och informell bedömning med hjälp av vår teori.
I synnerhet introducerar REF begreppet grupphuvudman och en tillhörande modell, språk och logik för att axiomatisera anonymitet.
Group Principals and the Formalization of Anonymity
{'venue': 'World Congress on Formal Methods', 'journal': None, 'mag_field_of_study': ['Computer Science']}