Also known as Biba integrity model
formal state transition system of computer security policy that describes a set of access control rules designed to ensure data integrity
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).