Labeled Goal-Directed Search in Access Control Logic

Valerio Genovese, Deepak Garg, Daniele Rispoli. Labeled Goal-Directed Search in Access Control Logic. In Audun Jøsang, Pierangela Samarati, Marinella Petrocchi, editors, Security and Trust Management - 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers. Volume 7783 of Lecture Notes in Computer Science, pages 65-80, Springer, 2012. [doi]

Authors

Valerio Genovese

This author has not been identified. Look up 'Valerio Genovese' in Google

Deepak Garg

This author has not been identified. It may be one of the following persons: Look up 'Deepak Garg' in Google

Daniele Rispoli

This author has not been identified. Look up 'Daniele Rispoli' in Google