A classification of security properties for process algebrasAutomatic Compositional Verification of Some Security PropertiesSecrecy in Security Protocols as Non Interference
