MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for ""Language-Based Security"." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 104,169 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Language-Based Security  
  • by Dexter Kozen — 1999 — In Mathematical Foundations of Computer Science
  • …Language-Based Security Dexter Kozen Department of Computer Science Cornell University Ithaca, NY…
  • Cited by 24 (0 self) – Add To MetaCart
  • Language-based security  
  • by Stephanie Weirich, Advisor Greg Morrisett — 2005 — J. Funct. Program
  • …, Language-based security. EDUCATION Ph.D. Computer Science, expected May 2002 Thesis title: Programming…
  • Cited by 1 (0 self) – Add To MetaCart
  • Language Based Security for Java and JML  
  • by Martijn Warnier, Copyright C Martijn Warnier, Typeset L Atex Ε, Cover Design Dries Verbruggen, Unfold. Be, Martinus Elisabeth Warnier, Dr. M. D. Oostdijk — Faculty of Electrical Engineering, Mathematics & Computer Science, UT
  • …Language Based Security for Java and JML Martijn Warnier ii Copyright c○ 2006 Martijn Warnier All…
  • Cited by 2 (0 self) – Add To MetaCart
  • A Language-Based Approach to Security  
  • by Fred B. Schneider, Greg Morrisett, Robert Harper — 2000 — INFORMATICS: 10 YEARS BACK, 10 YEARS AHEAD
  • …A Language-Based Approach to Security Fred B. Schneider 1 , Greg Morrisett 1 , and Robert Harper 2…
  • Cited by 59 (0 self) – Add To MetaCart
  • A Language-Based Approach to Security  
  • by Fred Schneider Greg, Fred B. Schneider, Greg Morrisett, Robert Harper — 2000 — Informatics: 10 Years Back, 10 Years Ahead
  • …A Language-Based Approach to Security Fred B. Schneider 1 , Greg Morrisett 1 , and Robert Harper 2…
  • Add To MetaCart
  • Bridging language-based and process calculi security  
  • by Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld — 2005 — In Proc. of Foundations of Software Science and Computation Structures (FOSSACS’05), volume 3441 of LNCS
  • …Bridging Language-Based and Process Calculi Security   Riccardo Focardi ¡ , Sabina Rossi…
  • Cited by 12 (2 self) – Add To MetaCart
  • Language-Based Approaches to  
  • by Secure Information Flow, Eric Poblenz
  • …1 Introduction Language-Based Approaches to Secure Information Flow Eric Poblenz Department…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB