Secrecy in Security Protocols as Non Interference
Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli · Electronic Notes in Theoretical Computer Science · 2000
Non Interference [8] has been proposed for modelling and analysing information flow in systems. In [4,7] we have indeed shown that the Non Interference property called NDC can be applied also in the area of network security, for the analysis of typical cryptographic protocol properties (e.g., authentication, non-repudiation). In this paper we extend the results of [4,7] by showing that NDC can be also easily adapted to detect secrecy attacks over networks.