Permission to Speak: A Novel Formal Foundation for Access Control

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 04, 2009
Accession Number
AD1006666

Entities

People

  • Aravind Joshi
  • Insup Lee
  • Nikhil Dinesh
  • Oleg Sokolsky

Organizations

  • University of Pennsylvania

Tags

DTIC Thesaurus Topics

  • Computer Access Control
  • Computer Programming
  • Computing-Related Activities
  • Construction
  • Motivation
  • Semantics
  • Test And Evaluation
  • Verification