A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module.
Georg DroschlWalter KuhnGerald SonneckMichael ThuswaldPublished in: SAFECOMP (2000)
Keyphrases
- lightweight
- formal methods
- case study
- development lifecycle
- safety critical
- software engineering
- security properties
- formal analysis
- development process
- knowledge based systems
- software development
- information security
- formal specification
- knowledge management
- access control
- wireless sensor networks
- security requirements
- model checking
- database systems
- rfid tags
- real world
- artificial intelligence
- open source
- communication infrastructure
- databases