Browse by Journal or other publication
Number of items: 2.
2024
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
2010
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