mastersthesis{mscthesis, 
  author = {Ole Martin Dahl}, 
  author_department = {IMT}, 
  author_employer = {HiG}, 
  author_group = {IS}, 
  author_lab = {NISlab}, 
  school = {Gjøvik University College}, 
  title = {Using Coloured Petri Nets in Penetration Testing}, 
  url = {http://www.hig.no/imt/file.php?id=1044}, 
  year = {2005}
}