FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408.
Kenichi YajimaShoichi MorimotoDaisuke HorieNoor Sheila AzreenYuichi GotoJingde ChengPublished in: ARES (2009)
Keyphrases
- formal verification
- iso iec
- international standard
- model checking
- bounded model checking
- automated verification
- model checker
- information security
- quality evaluation
- formal specification
- reference model
- maturity model
- data mining
- specification language
- intrusion detection
- object oriented
- image sequences
- web services