Decision and Complexity of Dolev-Yao Hyperproperties.

Itsaka Rakotonirina Gilles Barthe Clara Schneidewind

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

decision problems
decision making
computational complexity
multiresolution
database
search engine
similarity measure
multiscale
information technology
decision makers
decision rules