A Type System for Expressive Security Policies

A Type System for Expressive Security Policies (2000)

by David Walker

Citations:

83 - 7 self

User correction supplied by mph

Datum	Value	Source
TITLE	A Type System for Expressive Security Policies	user correction - Legacy Corrections
AUTHOR NAME	David Walker	user correction
AUTHOR AFFIL	Cornell University	user correction
ABSTRACT	Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthiness. Before running the agent, the host checks the annotations and proves that they imply the host's security policy. Despite the flexibility of this scheme, so far, compilers that generate certified code have focused on simple type safety properties rather than more general security properties.	user correction - Legacy Corrections
YEAR	2000	user correction
CITATIONS	33 found	ParsCit 1.0