CITATION STYLE
Guelev, D. P., Ryan, M. D., & Schobbens, P.-Y. (2004). Model-checking Access Control Policies. In Access (Vol. LNCS 3225, pp. 219–230). Springer--Verlag. https://doi.org/10.1007/b100936
Mendeley helps you to discover research relevant for your work.