Next:
SPA and Semantic Equivalences
Up:
Using Non Interference for
Previous:
Introduction
The model
In this Section we introduce the model and the language we use for the specification of protocols and we also present the generalization of NI we use in the protocol analysis.
SPA and Semantic Equivalences
Value-Passing SPA
NI generalization
