Group Principals and the Formalization of Anonymity

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 intruder's 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1999
Accession Number
ADA465533

Entities

People

  • Paul Syverson
  • Stuart G. Stubblebine

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Abstracts
  • Complex Systems
  • Computations
  • Computers
  • Cryptography
  • Cybersecurity
  • Distributed Computing
  • Electronic Commerce
  • Environment
  • Formal Languages
  • Information Systems
  • Language
  • Military Research
  • New York
  • Security
  • Security Protocols
  • Standards

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Cybersecurity.
  • Regression Analysis.