RIF: Reactive Information Flow Labels

Other Titles
Abstract
Restrictions that a reactive information flow (RIF) label imposes on a value are determined by the sequence of operations used to derive that value. This allows declassification, endorsement, and other forms of reclassification to be supported in a uniform way. Piecewise noninterference (PWNI) is introduced as a fitting security policy, because noninterference is not suitable. A type system is given for static enforcement of PWNI in programs that associate checkable classes of RIF labels with variables. Two checkable classes of RIF labels are described: RIF automata are general-purpose and based on finite-state automata; κ-labels concern confidentiality in programs that use cryptographic operations.
Journal / Series
Volume & Issue
Description
Sponsorship
Date Issued
2019-04-08
Publisher
Keywords
information flow control; reclassification; piesewise noninterference
Location
Effective Date
Expiration Date
Sector
Employer
Union
Union Local
NAICS
Number of Workers
Committee Chair
Committee Co-Chair
Committee Member
Degree Discipline
Degree Name
Degree Level
Related Version
Related DOI
Related To
Related Part
Based on Related Item
Has Other Format(s)
Part of Related Item
Related To
Related Publication(s)
Link(s) to Related Publication(s)
References
Link(s) to Reference(s)
Previously Published As
Government Document
ISBN
ISMN
ISSN
Other Identifiers
Rights
Attribution-NonCommercial-ShareAlike 4.0 International
Types
technical report
Accessibility Feature
Accessibility Hazard
Accessibility Summary
Link(s) to Catalog Record

Version History

Now showing 1 - 2 of 2
VersionDateSummary
2*
2019-12-16 10:21:12
New version includes new content: Sections have been rearranged; Sections 2, 4, and 7 have been expanded; Two appendices have been added at the end of the paper.
2019-04-08 13:45:24
* Selected version