Accession Number:

ADA465533

Title:

Group Principals and the Formalization of Anonymity

Descriptive Note:

Journal article

Corporate Author:

NAVAL RESEARCH LAB WASHINGTON DC CENTER FOR HIGH ASSURANCE COMPUTING SYSTEMS (CHACS)

Report Date:

1999-09-01

Pagination or Media Count:

21.0

Abstract:

We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to be naturally useful concepts for looking at security. We provide an associated epistemic language and logic and use it to reason about anonymity protocols and anonymity services, where protection properties are formulated from the intruders knowledge of group principals. Using our language, we give an epistemic characterization of anonymity properties. We also present a specification of a simple anonymizing system using our theory.

Subject Categories:

  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE