selected publications

• conference paper

  • Lessons learned using alloy to formally specify MLS-PCA trusted security architecture.  . 2004