This short issue serves to mark a reminder to mark a longer issue and series of checkpoints for this task.
Following the 9/26 meeting with Prof. Foster, we now explore a type system and the concept of well-formedness from a policy standpoint, which will allow us to accurately restrict hierarchical policies between $stream \rightarrow stream$ versus $set \rightarrow stream$.
KabirSamsi
commented
1 month ago
Following the 9/26 meeting with Prof. Foster, we now explore a type system and the concept of well-formedness from a policy standpoint, which will allow us to accurately restrict hierarchical policies between $stream \rightarrow stream$ versus $set \rightarrow stream$.