• Sorted by Date • Classified by Publication Type • Classified by Research Category •
Marcilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca, and Vivek Nigam. On the accuracy of formal verification of selective defenses for TDoS attacks. J. Log. Algebr. Meth. Program., 94:45–67, 2018.
[PDF] [gzipped postscript] [postscript] [HTML]
(unavailable)
@article{lemos18jlamp, author = {Marcilio O. O. Lemos and Yuri Gil Dantas and Iguatemi E. Fonseca and Vivek Nigam}, title = {On the accuracy of formal verification of selective defenses for {TDoS} attacks}, journal = {J. Log. Algebr. Meth. Program.}, volume = {94}, pages = {45--67}, year = {2018}, url = {https://doi.org/10.1016/j.jlamp.2017.09.001}, doi = {10.1016/j.jlamp.2017.09.001}, bib2html_pubtype = {Journal}, bib2html_rescat = {Formal Methods}, bib2html_dl_pdf = "/docs/jlamp.pdf" }
Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57