Browse by Journal or other publication
Jump to: Article
Number of items: 2.
Article
Arshad, Hamed and Horne, Ross and Johansen, Christian and Owe, Olaf and Willemse, Tim A.C. (2024) XACML2mCRL2 : automatic transformation of XACML policies into mCRL2 specifications. Science of Computer Programming, 232. 103046. ISSN 0167-6423
Russello, Giovanni and Dong, Changyu and Dulay, Naranker and Chaudron, Michel and van Steen, Maarten (2010) Providing data confidentiality against malicious hosts in shared data spaces. Science of Computer Programming, 75 (6). pp. 426-439. ISSN 0167-6423