Relating Process Languages for Security and Communication Correctness (Extended Abstract).

Daniele Nantes Jorge A. Pérez

Published in: FORTE (2018)

Keyphrases

extended abstract
process model
expressive power
data sets
database systems
query language
computer networks
communication networks
network security
computer security