Skip to main navigation
Skip to search
Skip to main content
Princeton University Home
Help & FAQ
Home
Profiles
Research units
Facilities
Projects
Research output
Press/Media
Search by expertise, name or affiliation
Type system for expressive security policies
David Walker
Research output
:
Contribution to journal
›
Conference article
›
peer-review
90
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Type system for expressive security policies'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Type Systems
100%
Security Policy
100%
Annotation
75%
Security Properties
50%
Automaton
50%
Access Control
25%
Mobile Code
25%
Keyphrases
Certified Programming
75%
Security Automata
50%
Resource Binding
25%
Security Check
25%