Formal Security Verification of Industry 4.0 Applications.
Vivek NigamCarolyn L. TalcottPublished in: ETFA (2019)
Keyphrases
- high security
- formal methods
- java card
- integrity verification
- cryptographic protocols
- information security
- security issues
- security requirements
- information assurance
- world wide
- smart card
- model checking
- formal analysis
- security mechanisms
- security protocols
- access control
- security problems
- security threats
- security analysis
- intrusion detection
- case study
- rfid technology
- security model
- sensitive data
- security policies
- formal model
- high assurance
- computer security
- key management
- signature verification
- formal verification
- security systems
- face verification
- network security
- security measures