Alan B. Shaffer

According to our database, Alan B. Shaffer authored at least 3 papers in 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

A Security Domain Model for Static Analysis and Verification of Software Programs.

Alan B. Shaffer

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

A security domain model to assess software for exploitable covert channels.

Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin

Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, 2008

A Security Domain Model for Implementing Trusted Subject Behaviors.

Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin

Proceedings of the Workshop on Modeling Security ( MODSEC08 ) held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems ( MODELS ) Toulouse, 2008