A Single Type System for Both Confidentiality and Integrity — Modal Logic Unifies What 30 Years of InfoFlow Kept Separate

A Single Type System for Both Confidentiality and Integrity — Modal Logic Unifies What 30 Years of InfoFlow Kept Separate | BedrockNews