%0 Conference Paper %1 conf/uss/EnsafiPKC10 %A Ensafi, Roya %A Park, Jong Chun %A Kapur, Deepak %A Crandall, Jedidiah R. %B USENIX Security Symposium %D 2010 %I USENIX Association %K dblp %P 257-272 %T Idle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking. %U http://dblp.uni-trier.de/db/conf/uss/uss2010.html#EnsafiPKC10

@inproceedings{conf/uss/EnsafiPKC10, added-at = {2020-03-12T00:00:00.000+0100}, author = {Ensafi, Roya and Park, Jong Chun and Kapur, Deepak and Crandall, Jedidiah R.}, biburl = {https://www.bibsonomy.org/bibtex/2bc8cbf46ac15c5d12d6c245a4510eae0/dblp}, booktitle = {USENIX Security Symposium}, crossref = {conf/uss/2010}, ee = {http://www.usenix.org/events/sec10/tech/full_papers/Ensafi.pdf}, interhash = {85cdb7ee399bac2b2f7d92667f4fd1f1}, intrahash = {bc8cbf46ac15c5d12d6c245a4510eae0}, keywords = {dblp}, pages = {257-272}, publisher = {USENIX Association}, timestamp = {2020-03-13T12:50:27.000+0100}, title = {Idle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/uss/uss2010.html#EnsafiPKC10}, year = 2010 }