On the semantics of communications when verifying equivalence properties.

Kushal Babel Vincent Cheval Steve Kremer

Published in: J. Comput. Secur. (2020)

Keyphrases

logic programming
communication systems
database
conceptual model
semantic properties
graph properties
search engine
information systems
formal language