%0 Journal Article %J Information and Computation %D 2008 %T Rule-based static analysis of network protocol implementations %A Udrea,O. %A Lumezanu,C. %A Foster, Jeffrey S. %B Information and Computation %V 206 %P 130 - 157 %8 2008/// %G eng %N 2