Internet; computer network security; formal verification; reliability; system monitoring; ADDoS prevention; ASV defense; Internet; Maude; PVeStA; adaptive selective verification; application layer DDoS attacks; availability; computational system; distributed denial of service; network layer DDoS attacks; statistical model checker; traffic monitoring; Availability; Computer crime; Internet; Probability distribution; Protocols; Servers; Simulation; ASV; Application Layer; DDoS; Defense;
机译:Skyshield:针对应用层DDOS攻击的草图的防御系统
机译:骨干网流量中应用层DDoS攻击的检测与防御
机译:DDoS防护:DDoS弹性调度以应对应用程序层攻击
机译:应用层DDoS攻击的选择性防御
机译:对Web服务器的应用层DDOS洪水攻击的缓解
机译:选择性转发攻击检测的多层方法
机译:基于用户评级的DDOS应用层攻击防御系统