@MASTERSTHESIS{,
  author = {Hamed Okhravi},
  title = {Security Policy Integration and Consistency Validation},
  school = {University of Illinois at Urbana-Champaign},
  year = {2007},
  address={Urbana, IL}
}