• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

DMCA

A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS (1996)

Cached

  • Download as a PDF

Download Links

  • [www.cs.sunysb.edu]
  • [cisr.nps.edu]
  • [www.cisr.us]
  • [cisr.nps.edu]
  • [calhoun.nps.edu]
  • [www.cs.fiu.edu]
  • [www.cis.fiu.edu]
  • [users.cis.fiu.edu]
  • [users.cs.fiu.edu]
  • [users.cs.fiu.edu]
  • [users.cis.fiu.edu]
  • [cs.nyu.edu]
  • [users.cs.fiu.edu]
  • [users.cs.fiu.edu]
  • [www.mpi-sws.org]
  • [www.csl.sri.com]
  • [www.math.unipd.it]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Dennis Volpano , Geoffrey Smith , Cynthia Irvine
Citations:534 - 21 self
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Volpano96asound,
    author = {Dennis Volpano and Geoffrey Smith and Cynthia Irvine},
    title = { A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS},
    year = {1996}
}

Share

Facebook Twitter Reddit Bibsonomy

OpenURL

 

Abstract

Ensuring secure information ow within programs in the context of multiple sensitivity levels has been widely studied. Especially noteworthy is Denning's work in secure ow analysis and the lattice model [6][7]. Until now, however, the soundness of Denning's analysis has not been established satisfactorily. Weformulate Denning's approach as a type system and present a notion of soundness for the system that can be viewed as a form of noninterference. Soundness is established by proving, with respect to a standard programming language semantics, that all well-typed programs have this noninterference property.

Keyphrases

secure ow analysis    secure information    lattice model    multiple sensitivity level    noninterference property    standard programming language semantics    type system    weformulate denning    well-typed program   

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2018 The Pennsylvania State University