2012-01-01

Labeled Goal-Directed Search in Access Control Logic

Tags

Trustworthy Information Processing

Workshop

Proc. of the 8th International Workshop on Security and Trust Management (STM 2012)

Date published

2012-01-01

Date last modified

2019-07-18 12:09:28

Authors

Valerio Genovese
Deepak Garg
Daniele Rispoli

Download