Formal Engineering of XACML Access Control Policies in VDM++

Jeremy W. Bryans, John S. Fitzgerald

    Research output: Chapter in Book/Report/Conference proceedingConference proceedingpeer-review

    13 Citations (Scopus)

    Fingerprint Dive into the research topics of 'Formal Engineering of XACML Access Control Policies in VDM++'. Together they form a unique fingerprint.

    Engineering & Materials Science