A Security Domain Model for Implementing Trusted Subject Behaviors. - Alan B. Shaffer; Mikhail Auguston; Cynthia E. Irvine; Timothy E. Levin (MODSEC@MoDELS, 2008)

A security domain model to assess software for exploitable covert channels. - Alan B. Shaffer; Mikhail Auguston; Cynthia E. Irvine; Timothy E. Levin (PLAS, 2008)

A Security Domain Model for Static Analysis and Verification of Software Programs. - Alan B. Shaffer (SEKE, 2008)