Formal Specification of Security-relevant Properties of User Interfaces

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert und Gerd Beuster
In:3rd International Workshop on Critical Systems Development with UML
Jahr:2004

Anmerkung

TU Munich Technical Report TUM-I0415

BibTeX

@InProceedings{BeckertBeuster2004tum,
  author = 	 {Bernhard Beckert and Gerd Beuster},
  title = 	 {Formal Specification of Security-relevant Properties
                  of User Interfaces},
  booktitle = 	 {3rd International Workshop on 
                  Critical Systems Development with UML},
  address =      {Munich, Germany},
  note =         {TU Munich Technical Report TUM-I0415},
  year = 	 {2004},
  place =        {Lisbon, Portugal}
}