Formal Methods for Privacy

Abstract

Privacy means something different to everyone. Against a vast and rich canvas of diverse types of privacy rights and violations, we argue technology's dual role in privacy: new technologies raise new threats to privacy rights and new technologies can help preserve privacy. Formal methods, as just one class of technology, can be applied to privacy, but privacy raises new challenges, and thus new research opportunities, for the formal methods community.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 2009
Accession Number
ADA507044

Entities

People

  • Jeannette Wing
  • Michael C. Tschantz

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Biomedical
  • Cyber
  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Commerce
  • Computer Science
  • Computers
  • Cryptography
  • Data Mining
  • Formal Languages
  • Governments
  • Information Processing
  • Information Science
  • Information Systems
  • Intrusion Detection
  • Language
  • Law
  • Privacy Rights
  • Social Media
  • Social Sciences
  • United States

Fields of Study

  • Computer science

Readers

  • Distributed Systems and Data Platform Development
  • Political Violence and Terrorism Studies.