MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Secure Information Flow by Self-Composition." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • Secure Information Flow by Self-Composition  
  • by Gilles Barthe Pedro, Pedro R. D’argenio, Tamara Rezk — 2004 — Proceedings of CSFW’04
  • …Secure Information Flow by Self-Composition Gilles Barthe 1∗ Pedro R. D’Argenio 2† Tamara Rezk 1…
  • Add To MetaCart
  • Tachio Terauchi Alex Aiken  
  • by Report No Ucb, Tachio Terauchi, Alex Aiken, Tachio Terauchi, Alex Aiken — 2005
  • … insensitive secure information flow problem, self-composition reduces the problem into the following problem…
  • Add To MetaCart
  • unknown title  
  • by Secure Information, Flow Self-composition, Gilles Barthe, Tamara Rezk
  • … Secure Information Flow by Self-Composition Gilles Barthe 1\Lambda Pedro R. D'Argenio 2y…
  • Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB