Logic in Access Control (Tutorial Notes) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

MartÃn Abadi. Logic in Access Control (Tutorial Notes). In Alessandro Aldini, Gilles Barthe, Roberto Gorrieri, editors, Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures. Volume 5705 of Lecture Notes in Computer Science, pages 145-165, Springer, 2009. [doi]

This author has not been identified. Look up 'MartÃn Abadi' in Google

runs on WebDSL