@Talk{		  talk:brucker:model-driven:2008,
  isodate	= {2008-01-29},
  title		= {Model-driven Security with Support for Formal Analysis
		  Methods},
  month		= jan,
  language	= {USenglish},
  year		= {2008},
  address	= {Karlsruhe, Germany},
  day		= {29},
  author	= {Achim D. Brucker},
  lecturer	= {Achim D. Brucker},
  event		= {Karlsruher Fachkreis IT Sicherheit},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/talk-brucker-model-driven-2008}
		  
}