On Fri, Apr 2, 2021 at 12:51 PM lorenzo ceragioli <lorenzo.ceragioli@xxxxxxxxxxxx> wrote: > > Hello, > > We are currently working on a tool for verifying information flow > properties on CIL configurations. We want to allow reasoning about such > properties with respect to the constructs of the configuration (block > inheritance and nesting, macro). To test our approach, we are looking > for configurations that make use of block inheritance, macros etc (hence > CIL policies compiled from .pp files are not good for us). Do you know > something that may help us? Are there repositories, or groups where we > can ask? > > Thanks > Lorenzo > Try Dominick Grift's CIL policy: git clone https://github.com/DefenSec/dssp5.git Thanks, Jim
