next up previous
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.