Operational Semantics for Secure Interoperation.

Adriaan Larmuseau Marco Patrignani Dave Clarke

Published in: PLAS@ECOOP (2014)

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
declarative semantics
denotational semantics
data model
data sources
security requirements
agent programming
logic programming
knowledge sharing
content analysis
speech acts