Back to Results
First PageMeta Content
Clark–Wilson model / Type enforcement / Trusted computing base / Mandatory Integrity Control / Access control / LOMAC / Principle of least privilege / OpenSSH / Computer security / Security / Multilevel security


Toward Automated Information-Flow Integrity Verification for Security-Critical Applications Umesh Shankar Trent Jaeger
Add to Reading List

Document Date: 2006-02-09 00:36:18


Open Document

File Size: 618,03 KB

Share Result on Facebook
UPDATE