Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces

Begutachtete Veröffentlichung in Tagungsband
Autor(en):Bernhard Beckert und Gerd Beuster
In:Eight International Conference on Formal Engineering Methods (ICFEM 2006)
Verleger:Springer
Reihe:LNCS
Band:4260
Jahr:2006

BibTeX

@InProceedings{BeckertBeuster2006,
  author =       {Bernhard Beckert and Gerd Beuster},
  title =        {A Method for Formalizing, Analyzing, and 
                  Verifying Secure User Interfaces},
  booktitle =    {Eight International Conference on 
                  Formal Engineering Methods ({ICFEM} 2006)},
  editor =       {He Jifeng and Zhiming Liu},
  publisher =    {Springer},
  series =       {LNCS},
  volume =       {4260},
  year =         {2006}
}