The Security Picalculus and Non-interference (Extended Abstract).
Matthew HennessyPublished in: MFPS (2003)
Keyphrases
- extended abstract
- network security
- access control
- intrusion detection
- security issues
- neural network
- information security
- security policies
- security management
- security properties
- computer security
- security problems
- statistical databases
- security systems
- security level
- security requirements
- multipath
- low cost
- security threats
- power line
- data security
- security analysis
- risk assessment
- computer networks
- computer systems
- social networks