Current Search:  Declassification -- Conditional Gradual Release -- Evidently -- Xtext -- Information Flow Control policies (x)

View All Items

  • CSV Spreadsheet
(1 - 1 of 1)
Compiler Design of a Policy Specification Language for Conditional Gradual Release
Title
Compiler Design of a Policy Specification Language for Conditional Gradual Release.
Creator
Kashyap Harinath, Manasa, Leavens, Gary, Turgut, Damla, Wang, Liqiang, University of Central Florida
Abstract / Description
Securing the confidentiality and integrity of information manipulated by computer software is an old yet increasingly important problem. Current software permission systems present on Android or iOS provide inadequate support for developing applications with secure information flow policies. To be useful, information flow control policies need to specify declassifications and the conditions under which declassification must occur. Having these declassifications scattered all over the program...
Show moreSecuring the confidentiality and integrity of information manipulated by computer software is an old yet increasingly important problem. Current software permission systems present on Android or iOS provide inadequate support for developing applications with secure information flow policies. To be useful, information flow control policies need to specify declassifications and the conditions under which declassification must occur. Having these declassifications scattered all over the program makes policies hard to find, which makes auditing difficult. To overcome these challenges, a policy specification language, 'Evidently' is discussed that allows one to specify information flow control policies separately from the program and which supports conditional gradual releases that can be automatically enforced. I discuss the Evidently grammar and modular semantics in detail. Finally, I discuss the implementational details of Evidently compiler within the Xtext language development environment and the implementation's enforcement of policies.
Show less
Date Issued
2018
Identifier
CFE0007205, ucf:52274
Format
Document (PDF)
PURL
http://purl.flvc.org/ucf/fd/CFE0007205