JIF questions
What is the key difference between IFC and discretionary access control or capabilities?
What are the benefits of enforcing IFC statically? (Why doesn’t JIF take the dynamic route?)
Building Secure Systems using Programming Languages and Analysis