Publication | Open Access

Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models

Internet SecurityInternet Traffic AnalysisContinuous State-space ApproximationEngineeringIntrusion Detection SystemInformation SecurityDenial-of-service AttackNetwork AnalysisSystems EngineeringSoftware AnalysisInternet Worm AttacksProcess Algebra ModelsComputer ScienceBotnet DetectionFormal VerificationData Security