Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus.

Clément Aubert Ross Horne Christian Johansen

Published in: CONCUR (2022)

Keyphrases

operational semantics
term rewriting
artificial intelligence
multi agent systems
mobile robot
object oriented
information security
security requirements