ask others

Vivek Nigam

◀ ▶ joint publications with Marcilio O. O. Lemos

> Home > Persons > Vivek Nigam
> Home > Persons > Marcilio O. O. Lemos

Publications

2016
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wrla/DantasLFN16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/wrla/DantasLFN16
Yuri Gil Dantas, Marcilio O. O. Lemos, Iguatemi E. Fonseca, Vivek Nigam:
Formal Specification and Verification of a Selective Defense for TDoS Attacks. WRLA 2016: 82-97

maintained by

at