A Model-Based Testing Approach for Security Protocols.
Pierre-Cyrille HéamFrédéric DadeauRafik KheddamGhazi MaatougMichaël RusinowitchPublished in: CSE/EUC/DCABES (2016)
Keyphrases
- security protocols
- model based testing
- test cases
- software development
- software design
- security policies
- automated design
- testing process
- software testing
- sequence diagrams
- security requirements
- test data
- artificial immune algorithm
- rfid tags
- software engineering
- petri net
- case study
- key management
- neural network
- data sets
- object oriented
- artificial intelligence
- data mining
- databases
- real time