No subject area

PDF

Extracting conditional confidentiality policies (with Jeannette Marie. Wing), Computer Science Department (2008)

Abstract: "We present a static analysis that extracts from a program's source code a sound...