1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.NI2011★ 1 cited
Phagocytes: A Holistic Defense and Protection Against Active P2P Worms
Ruichuan Chen, Eng Keong Lua, Jon Crowcroft +2
Active Peer-to-Peer (P2P) worms present serious threats to the global Internet by exploiting popular P2P applications to perform rapid topological self-propagation. Active P2P worm…
cs.CR2010
Secure Information Flow by Model Checking Pushdown System
Cong Sun, Liyong Tang, Zhong Chen
We propose an approach on model checking information flow for imperative language with procedures. We characterize our model with pushdown system, which has a stack of unbounded le…