Secrecy by Witness-Functions under Equational Theories.

Jaouhar Fattahi Mohamed Mejri

Published in: CoRR (2018)

Keyphrases

equational theories
databases
artificial intelligence
database systems
bayesian networks
description logics