Decidability of Trace Equivalence for Protocols with Nonces.

Rémy Chrétien Véronique Cortier Stéphanie Delaune

Published in: CSF (2015)

Keyphrases

query containment
description logics
query answering
decision procedures
learning algorithm
communication protocols
real time
data sets
artificial intelligence
knowledge base
website
conjunctive queries
equivalence relation
datalog programs
cryptographic protocols