Browsing Cornell University Graduate School by Subject "label chain"
Now showing items 1-1 of 1
(2018-12-30)Increasing the expressiveness of information flow labels can improve the permissiveness of an enforcement mechanism. This thesis studies two formulations of expressive information flow labels: RIF labels and label chains. ...