Alex Thomasian Person

academic article

• Modeling security as a dependability attribute: a refinement-based approach.  Innovations in Systems and Software Engineering.  2:39-48. 2006