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
ADA631669

Entities

People

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

Organizations

  • University of Pennsylvania

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Availability
  • Classification
  • Computer Access Control
  • Computer Programming
  • Computers
  • Computing-Related Activities
  • Construction
  • Contracts
  • Information Operations
  • Instructions
  • Monitoring
  • Motivation
  • Pennsylvania
  • Security
  • Semantics
  • Test And Evaluation