Modular Enforcement of Information Flow Policies in Data Structures

Cached

Download Links

by Gordon Stewart , Anindya Banerjee , Aleksandar Nanevski