Next: SPA and Semantic Equivalences
Up: Using Non Interference for
Previous: Introduction
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.