Simplified Timed Attack Trees
Aliyu Tanko Ali
Topics & Concepts
ReachabilityComputer scienceAutomatonTree (set theory)Model checkingAsset (computer security)Node (physics)Vulnerability (computing)Theoretical computer scienceComputer securityMathematicsEngineeringStructural engineeringMathematical analysisInformation and Cyber SecurityFormal Methods in VerificationAdvanced Malware Detection Techniques