Lessons learned using alloy to formally specify MLS-PCA trusted security architecture Conference Paper uri icon

publication date

  • October 29, 2004

published in

  •   Geographic Location