FORTE Best Artefact Award

Prijs: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

Omschrijving

Best software artefact awarded for the tool associated with the publication 'Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies using mCRL2’ by Arshad, Horne, Johansen, Owe and Willemse, published in FORTE 2022.
Mate van erkenningInternationaal

Toegekend op evenement

Evenementstitel42nd IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022
LocatieLucca, ItaliëToon op kaart
Periode13 jun. 2022 → 17 jun. 2022

    Vingerafdruk