4 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.CR2011★ 4 cited
A New Enforcement on Declassification with Reachability Analysis
Cong Sun, Liyong Tang, Zhong Chen
Language-based information flow security aims to decide whether an action-observable program can unintentionally leak confidential information if it has the authority to access con…
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…