@PHDTHESIS{t2,
  author = {Hamed Okhravi},
  title = {Trusted and High Assurance Systems},
  school = {University of Illinois at Urbana-Champaign},
  year = {2010},
  address{Urbana, IL}
}