Labeled Goal-Directed Search in Access Control Logic

Genovese, Valerio and Garg, Deepak and Rispoli, Daniele
(2012) Labeled Goal-Directed Search in Access Control Logic.
In: Proc. of the 8th International Workshop on Security and Trust Management (STM 2012).

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item