A Decision Procedure for Alpha-Beta Privacy for a Bounded Number of Transitions
Fernet, Laouen, Modersheim, Sebastian, Vigano, Luca
Published in 2024 IEEE 37th Computer Security Foundations Symposium (CSF) (08.07.2024)
Published in 2024 IEEE 37th Computer Security Foundations Symposium (CSF) (08.07.2024)
Get full text
Conference Proceeding
Deciding a Fragment of (α,β)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(\alpha , \beta )$$\end{document}-Privacy
Get full text
Book Chapter