MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

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

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • 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
  • A typed assembly language for non-interference  
  • by Ricardo Medel, Adriana Compagnoni, Eduardo Bonelli — 2005 — In ICTCS 2005 Ninth Italian Conference on Theoretical Computer Science Certosa di Pontignano, volume 3701 of LNCS
  • security. In this paper, we study confidentiality for an assembly language using a language-based approach
  • Cited by 5 (1 self)Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB