A formal analysis of performance-security tradeoffs under frequent task reconfigurations.

Sarah Alhozaimy Daniel A. Menascé

Published in: Future Gener. Comput. Syst. (2022)

Keyphrases

formal analysis
ban logic
formal methods
access control
agent model
cost benefit
intrusion detection
frequent patterns
network security
security policies
security issues
security requirements
authentication protocol
software architecture
information security
statistical databases