Skip to main content

Security Analysis of Access Control through Program Verification

Anna Lisa Ferrara, Gennaro Parlato, P. Madhusudan, Security Analysis of Access Control through Program Verification . IEEE Computer Security Foundations Symposium. June 2012. No electronic version available.

Abstract

Bibtex entry.

Contact details

Publication Admin