A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA

Source URL: cisr.nps.edu

• Crime prevention
• Cryptography
• Information governance
• National security
• Computer security
• Covert channel
• Information flow
• Program slicing
• Mandatory access control
• Alloy Analyzer
• Domain-specific language
• Information security

A Security Domain Model for Implementing Trusted Subject Behaviors Alan Shaffer, Mikhail Auguston, Cynthia Irvine, Timothy Levin  Naval Postgraduate School, Computer Science Department, 1411 Cunningham Rd., Monterey, Ca

Source URL: cisr.nps.edu

• Computer security
• Computer access control
• Information theory
• Access control
• Mandatory access control
• BellLaPadula model
• Trusted Computing
• Trusted computing base
• Principle of least privilege
• Information flow
• Security kernel

TEDCO Media Contact: Kathleen Shaffer * * PUBLIC MEETING NOTICE * *

Source URL: www.mscrf.org

TEDCO Media Contact: Kathleen Shaffer * * PUBLIC MEETING NOTICE * *

Source URL: www.mscrf.org

TEDCO Media Contact: Kathleen Shaffer * * PUBLIC MEETING NOTICE * *

Source URL: www.mscrf.org

Media Contact: Kathleen Shaffer FOR IMMEDIATE RELEASE

Source URL: www.mscrf.org

TEDCO Media Contact: Kathleen Shaffer * * PUBLIC MEETING NOTICE * *

Source URL: www.mscrf.org

TEDCO Media Contact: Kathleen Shaffer * * PUBLIC MEETING NOTICE * *

Source URL: www.mscrf.org

Media Contact: Kathleen Shaffer FOR IMMEDIATE RELEASE

Source URL: www.mscrf.org

TEDCO Media Contact: Kathleen Shaffer * * PUBLIC MEETING NOTICE * *

Source URL: www.mscrf.org