Mehrnoosh Shakarami, Ravi Sandhu. Safety and Consistency of Mutable Attributes Using Quotas: A Formal Analysis. In First IEEE International Conference on Trust, Privacy and Security in Intelligent Systems and Applications, TPS-ISA 2019, Los Angeles, CA, USA, December 12-14, 2019. pages 1-9, IEEE, 2019. [doi]
Abstract is missing.