Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access.
Manuel CheminodAlfredo PirontiRiccardo SistoPublished in: IEEE Trans. Ind. Informatics (2011)
Keyphrases
- access control
- remote access
- network access
- remote server
- information security
- security policies
- security requirements
- security issues
- data security
- intrusion detection
- network security
- role based access control
- security threats
- real time
- access requests
- sys tems
- formal model
- information systems
- security level
- security mechanisms
- data integrity
- encryption scheme
- random access
- formal analysis
- formal methods