Software Assurance Metrics And Tool Evaluation
basic concepts and taxonomy of dependable and secure computing .