Improving the security of industrial networks by means of formal verification.
Ivan Cibrario BertolottiLuca DurantePaolo MaggiRiccardo SistoAdriano ValenzanoPublished in: Comput. Stand. Interfaces (2007)
Keyphrases
- formal verification
- model checking
- automated verification
- model checker
- enterprise network
- social networks
- intrusion detection
- bounded model checking
- industrial applications
- program slicing
- security requirements
- network security
- security policies
- security issues
- information security
- cryptographic protocols
- symbolic model checking
- industrial automation
- statistical databases
- temporal logic
- network structure
- orders of magnitude
- access control
- web services
- artificial intelligence