The transition from a "vulnerable" state to a "patched" state follows a systematic lifecycle: Information Security Patch Management Manual

You can try searching for these terms on academic databases or search engines:

The counterpart to Bell-LaPadula, focusing strictly on data integrity. It ensures that users cannot corrupt data at a higher level (No Read Down, No Write Up).

Effective information security relies on robust mathematical and procedural models to manage access and defend against threats. A critical component of these models is the , which systematically closes vulnerabilities that attackers could otherwise exploit. Essential Information Security Models