Formal Specification and Verification of a Selective Defense for TDoS Attacks Yuri Gil Dantas1 , Marcilio O. O. Lemos2 , Iguatemi E. Fonseca2 , and Vivek Nigam2 1

First Page		Document Content
Date: 2016-03-11 10:49:10		Formal Specification and Verification of a Selective Defense for TDoS Attacks Yuri Gil Dantas1 , Marcilio O. O. Lemos2 , Iguatemi E. Fonseca2 , and Vivek Nigam2 1 Add to Reading List Source URL: www.mais.informatik.tu-darmstadt.de Download Document from Source Website File Size: 468,15 KB Share Document on Facebook