A General Framework for the Logical Representation of Combinatorial Exchange Protocols.

Munyque Mittelmann Sylvain Bouveret Laurent Perrussel

Published in: CoRR (2021)

Keyphrases

logical representation
abductive reasoning
information exchange
general purpose
security protocols
trusted third party