A note on the formalisation of UCON.

Helge Janicke, Antonio Cau, Hussein Zedan

Browse the full SACMAT paper archive.