v1v2v3 (latest)

Belief Semantics of Authorization Logic

8 February 2013

Papers citing "Belief Semantics of Authorization Logic"

4 / 4 papers shown

Title
Security Properties as Nested Causal Statements Matvey Soloviev Joseph Y. Halpern 19 0 0 02 Apr 2021
First-Order Logic for Flow-Limited Authorization Andrew K. Hirsch P. Amorim Ethan Cecchetti R. Tate Owen Arden LRM 68 4 0 28 Jan 2020
Model Checking Social Network Models Raúl Pardo G. Schneider MLAU 17 10 0 07 Sep 2017
Proving differential privacy in Hoare logic Gilles Barthe Marco Gaboardi E. J. G. Arias Justin Hsu César Kunz Pierre-Yves Strub 94 64 0 10 Jul 2014