selected publications

• academic article

  • What the heck is this application doing? – A security-by-contract architecture for pervasive services.  Computers & Security.  28:566-577. 2009

• conference paper

  • A Security-by-Contract Architecture for Pervasive Services.  . 2007
  • Usage Control Reference Monitor Architecture.  . 2007