Show simple item record

dc.contributor.authorVolpano, Dennis
dc.contributor.authorSmith, Geoffrey
dc.dateApril 1997.
dc.date.accessioned2013-08-20T16:44:17Z
dc.date.available2013-08-20T16:44:17Z
dc.date.issued1997-04
dc.identifier.citationProc. 7th Int'l Joint Conference on the Theory and Practice of Software Development, LNCS 1214, pp. 607-621, Lille France, April 1997.
dc.identifier.urihttp://hdl.handle.net/10945/35283
dc.descriptionThe article of record as published may be found at http://dx.doi.org/en_US
dc.description.abstractThis paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program inputs and outputs classified at various security levels, the property basically states that a program output, classified at some level, can never change as a result of modifying only inputs classified at higher levels. Intuitively, this means the program does not “leak” sensitive data. The property is similar to a notion introduced years ago by Goguen and Meseguer to model secu- rity in multi-level computer systems [7]. We also give an algorithm for inferring and simplifying principal types, which document the security requirements of programs.en_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.en_US
dc.titleA Type-Based Approach to Program Securityen_US
dc.contributor.departmentComputer Science (CS)


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record