Publication | Closed Access

A method for modeling and quantifying the security attributes of intrusion tolerant systems

Security ModellingReliability EngineeringEngineeringIntrusion Tolerant SystemsIntrusion Detection SystemInformation SecurityIntrusion ToleranceSecuritySystems EngineeringSoftware EngineeringSoftware AnalysisComputer ScienceSecurity MeasurementFormal VerificationComputer Security ModelData Security