Verification of Neural Networks for Safety and Security-critical Domains.
Dario GuidottiPublished in: IPS/RiCeRcA/SPIRIT@AI*IA (2022)
Keyphrases
- neural network
- high security
- integrity verification
- pattern recognition
- security requirements
- feed forward
- model checking
- statistical databases
- artificial neural networks
- application domains
- java card
- security issues
- security policies
- safety analysis
- security threats
- real world
- recurrent neural networks
- multilayer perceptron
- multi layer
- high assurance
- fuzzy logic
- intrusion detection
- cryptographic protocols
- security analysis
- information security
- cyber security
- security systems
- encryption algorithm
- smart card
- communication protocols
- self organizing maps
- computer security
- verification method
- network security
- neural nets