Security policy analysis using deductive spreadsheets.

Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren

Browse the full CCS paper archive.