Quantitative Verification of Neural Networks And its Security Applications.
Teodora BalutaShiqi ShenShweta ShindeKuldeep S. MeelPrateek SaxenaPublished in: CoRR (2019)
Keyphrases
- neural network
- high security
- java card
- integrity verification
- information security
- access control
- intrusion detection
- pattern recognition
- cryptographic protocols
- security policies
- artificial neural networks
- security issues
- network security
- genetic algorithm
- security analysis
- statistical databases
- neural nets
- feed forward
- model checking
- fuzzy logic
- high assurance
- back propagation
- security requirements
- smart card
- information assurance
- security problems
- hopfield neural network
- formal verification
- qualitative and quantitative
- security mechanisms
- neural network model
- fuzzy systems
- multi layer
- computer security
- self organizing maps
- multilayer perceptron
- verification method
- training process