Show simple item record

dc.contributor.authorChong, Stephen N
dc.date.accessioned2010-05-19T15:44:14Z
dc.date.issued2010
dc.identifier.citationChong, Stephen. Forthcoming. Required information release. Proceedings of the 22nd IEEE Computer Security Foundations Symposium 17-19 July 2010, Edinburgh, UK. Los Alamitos, CA: IEEE Computer Society.en_US
dc.identifier.urihttp://nrs.harvard.edu/urn-3:HUL.InstRepos:4101999
dc.description.abstractMany computer systems have a functional requirement to release information. Such requirements are an important part of a system’s information security requirements. Current information-flow control techniques are able to reason about permitted information flows, but not required information flows. In this paper, we introduce and explore the specification and enforcement of required information release in a language-based setting. We define semantic security conditions that express both what information a program is required to release, and how an observer is able to learn this information. We also consider the relationship between permitted and required information release, and define bounded release, which provides upper- and lower- bounds on the information a program releases. We show that both required information release and bounded release can be enforced using a security-type system.en_US
dc.description.sponsorshipEngineering and Applied Sciencesen_US
dc.language.isoen_USen_US
dc.publisherAssociation for Computing Machineryen_US
dc.relation.isversionofhttp://ieeexplore.ieee.org/xpl/conferences.jspen_US
dc.relation.hasversionhttp://people.seas.harvard.edu/~chong/pubs/csf10_required_release_tr.pdfen_US
dash.licenseMETA_ONLY
dc.titleRequired Information Releaseen_US
dc.typeJournal Articleen_US
dc.description.versionAccepted Manuscripten_US
dc.relation.journalProceedings of the 23rd IEEE Computer Security Foundations Symposiumen_US
dash.depositing.authorChong, Stephen N
dash.embargo.until10000-01-01
dash.waiver2010-05-18
dash.contributor.affiliatedChong, Stephen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record