Validation of a Security Policy by the Test of Its Formal B Specification - A Case Study.
Yves LedruAkram IdaniJean-Luc RichierPublished in: FormaliSE@ICSE (2015)
Keyphrases
- security policies
- model based testing
- access control
- network security
- formal specification
- test cases
- security management
- distributed systems
- security concerns
- security architecture
- formal methods
- security requirements
- network management
- reactive systems
- formal language
- home network
- access control systems
- test suite
- databases
- semi supervised
- data model
- relational databases
- information systems