Security requirements specification by formal methods: a research metadata analysis.

Aditya Dev Mishra Khurram Mustafa

Published in: Multim. Tools Appl. (2024)

Keyphrases

formal methods
security requirements
security properties
formal analysis
development lifecycle
metadata
model checking
artificial intelligence
formal specification
safety critical
security analysis
security policies
business rules
knowledge based systems
high level
provably correct
information systems