Design and Implementation of Self-Protecting systems: A Formal Approach
Charilaos Skandylas, Narges Khakpour
Topics & Concepts
Computer scienceAdaptation (eye)Probabilistic logicProcess (computing)Rank (graph theory)Simple (philosophy)Computer securityFormal methodsDistributed computingSoftware engineeringArtificial intelligenceOpticsPhilosophyEpistemologyPhysicsOperating systemMathematicsCombinatoricsAdvanced Malware Detection TechniquesAdvanced Software Engineering MethodologiesSecurity and Verification in Computing