Quantitative Verification of Neural Networks and Its Security Applications.
Teodora BalutaShiqi ShenShweta ShindeKuldeep S. MeelPrateek SaxenaPublished in: CCS (2019)
Keyphrases
- neural network
- high security
- integrity verification
- java card
- information security
- security issues
- pattern recognition
- model checking
- access control
- feed forward
- qualitative and quantitative
- security requirements
- network security
- artificial neural networks
- cryptographic protocols
- back propagation
- intrusion detection
- formal verification
- neural nets
- security analysis
- security policies
- statistical databases
- computer security
- training process
- security problems
- information assurance
- face verification
- fuzzy systems
- recurrent neural networks
- multilayer perceptron
- self organizing maps
- fault diagnosis
- static analysis
- functional requirements
- associative memory
- security model
- security systems
- communication protocols
- information systems
- genetic algorithm