Suratose Tritilanunt Colin Boyd Ernest Foo Juan Manuel González Nieto Cost-Based Framework and Simulation of DoS-Resistant Protocols Using Coloured Petri Nets. 191-200 2007 ACSC http://crpit.com/abstracts/CRPITV62Tritilanunt.html conf/acsc/2007 db/conf/acsc/acsc2007.html#TritilanuntBFN07