@InProceedings{	  dantas.lemos.ea:formal,
  author	= {Yuri Gil Dantas and Marcilio O. O. Lemos and Iguatemi
		  Fonseca and Vivek Nigam},
  title		= {Formal Specification and Verification of a Selective
		  Defense for TDoS Attacks},
  booktitle	= {Proceedings of the 11th International Workshop on
		  Rewriting Logic and its Applications (WRLA)},
  year		= 2016,
  pages		= {82-97},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2016/2016FormalSpecificationandVerificationofaSelectiveDefenseforTDoSAttacks.pdf}
}