A Type System for Robust Declassification (2003)

Cached

Download Links

by Steve Zdancewic
Citations:29 - 5 self