Compositional Analysis of Protocol Equivalence in the Applied x-Calculus Using Quasi-open Bisimilarity

von Horne, Ross
Veröffentlicht in ICTAC (18. : 2021 : Online) Theoretical aspects of computing - ICTAC 2021 (2021)

Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees

von Gabbay, Dov M.
Veröffentlicht in GraMSec (7. : 2020 : Online) Graphical models for security (2020)

Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2

von Arshad, Hamed
Veröffentlicht in IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems (42. : 2022 : Lucca) Formal techniques for distributed objects, components, and systems (2022)

Graphical models for security : 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019 : revised papers

Veröffentlicht 2019

Embracing global computing in emerging economies : first workshop, EGC 2015, Almaty, Kazakhstan, February 26-28, 2015 : proceedings

Veröffentlicht 2015