A5026416728- Internet Traffic Analysis and Secure E-voting
- Access Control and Trust
- Web Application Security Vulnerabilities
- Anomaly Detection Techniques and Applications
- Network Security and Intrusion Detection
University of California, Berkeley
2019
Tecnológico de Monterrey
2017
DNS DDoS attacks may severely affect the operation of computer networks, prompting need for methods able to timely detect them, and then apply mitigation countermeasures. Visual models have been used an ongoing attack, but often demand continuous attention from IT staff. However, machine learning techniques could complement a visual model with further information on-time alerts that help officers give only when attack is in progress at its very early stage. In this paper, we present...
A browser based protocol is the chief security component of a safety critical web application, such as e-banking. Accordingly, protocols need to be thoroughly verified in order guarantee they are up comply with key properties. To this end, we have developed WebMC, model checker especially designed consider standards, aim analyzing execution, encompassed by interactions typical user, browser, and active attacker playing role network, one or more servers. In paper, shall show how use WebMC...