Lancaster EPrints

Formal Verification of Usage Control Models : A Case Study of UseCON Using TLA+

Gouglidis, Antonios and Grompanopoulos, Christos and Mavridou, Anastasia (2018) Formal Verification of Usage Control Models : A Case Study of UseCON Using TLA+. In: International Workshop on Methods and Tools for Rigorous System Design, 2018-04-10.

[img]
Preview
PDF (pre-proceedings-formal (2)) - Submitted Version
Download (1015Kb) | Preview
    Item Type: Contribution to Conference (Paper)
    Journal or Publication Title: International Workshop on Methods and Tools for Rigorous System Design
    Subjects:
    Departments: Faculty of Science and Technology > School of Computing & Communications
    ID Code: 124123
    Deposited By: ep_importer_pure
    Deposited On: 20 Mar 2018 13:34
    Refereed?: Yes
    Published?: Published
    Last Modified: 14 Nov 2018 01:15
    Identification Number:
    URI: http://eprints.lancs.ac.uk/id/eprint/124123

    Actions (login required)

    View Item