Alan B. Shaffer

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin
A Security Domain Model for Implementing Trusted Subject Behaviors. MODSEC@MoDELS (2008)
Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin
A security domain model to assess software for exploitable covert channels. PLAS (2008)
Alan B. Shaffer
A Security Domain Model for Static Analysis and Verification of Software Programs. SEKE (2008)