@inproceedings{KrishnaPalsberg:RTAS:2005,
    Author = {{Krishna Nandivada}, V. and {Palsberg}, J.},
    BookTitle = {Proc. of RTAS'05},
    File = {rtas05 (0) - a - a - l.pdf},
    ISSN = {1545-3421},
    Keywords = {transport protocols;formal verification;operating system kernels;client-server systems;packet switching;synchronisation;automata theory;security of data;timing analysis;TCP server;denial-of-service attack;SYN flooding attack;timed automata;packet generator;model checker;operating system kernel;Timing;Computer crime;Floods;Automata;Protocols;Monitoring;Testing;Software tools;Kernel;Operating systems},
    Month = {March},
    Pages = {541--549},
    Title = {Timing analysis of TCP servers for surviving denial-of-service attacks},
    Year = {2005},
    bdsk-url-1 = {https://doi.org/10.1109/RTAS.2005.54},
    date-added = {2019-08-17 15:40:16 +0200},
    date-modified = {2019-08-17 15:41:42 +0200},
    doi = {10.1109/RTAS.2005.54}
}

@inproceedings{KrishnaPalsberg:RTAS:2005, Author = {{Krishna Nandivada}, V. and {Palsberg}, J.}, BookTitle = {Proc. of RTAS'05}, File = {rtas05 (0) - a - a - l.pdf}, ISSN = {1545-3421}, Keywords = {transport protocols;formal verification;operating system kernels;client-server systems;packet switching;synchronisation;automata theory;security of data;timing analysis;TCP server;denial-of-service attack;SYN flooding attack;timed automata;packet generator;model checker;operating system kernel;Timing;Computer crime;Floods;Automata;Protocols;Monitoring;Testing;Software tools;Kernel;Operating systems}, Month = {March}, Pages = {541--549}, Title = {Timing analysis of TCP servers for surviving denial-of-service attacks}, Year = {2005}, bdsk-url-1 = {https://doi.org/10.1109/RTAS.2005.54}, date-added = {2019-08-17 15:40:16 +0200}, date-modified = {2019-08-17 15:41:42 +0200}, doi = {10.1109/RTAS.2005.54} }