A systems approach for eliciting mission-centric security requirements.

Bryan T. Carter Georgios Bakirtzis Carl R. Elks Cody Harrison Fleming

Published in: SysCon (2018)

Keyphrases

security requirements
security patterns
smart card
distributed systems
security properties
security problems
artificial intelligence
high level
wireless sensor networks
cloud computing
formal model
security policies
formal methods
security analysis
development lifecycle