A formal approach to the integrated analysis of security and QoS.

Alessandro Aldini Marco Bernardo

Published in: Reliab. Eng. Syst. Saf. (2007)

Keyphrases

data analysis
statistical analysis
risk analysis
quality of service
formal analysis
security informatics
software systems
data acquisition
formal model
application level
forensic analysis