Formal specification of security guidelines for program certification.
Zeineb ZhiouaYves RoudierRabéa Ameur-BoulifaPublished in: TASE (2017)
Keyphrases
- formal specification
- model checking
- specification languages
- object oriented design
- process algebra
- specification language
- protocol specification
- formal methods
- reverse engineering
- information security
- data abstraction
- access control
- software components
- third party
- concurrent systems
- database
- temporal logic
- programming environment
- database security
- knowledge based systems
- case study