Formal Specification of Security-relevant Properties of User Interfaces

Technischer Bericht

Autor(en):Bernhard Beckert und Gerd Beuster
Institution:Department of Computer Science, University of Koblenz
Reihe:Technical Reports in Computer Science (Fachberichte Informatik)
Jahr:2004
Nummer:10-2004

BibTeX

@TechReport{BeckertBeuster2004,
  author	= {Bernhard Beckert and Gerd Beuster},
  title		= {Formal Specification of Security-relevant Properties of
		  User Interfaces},
  institution	= {Department of Computer Science, University of Koblenz},
  series	= {Technical Reports in Computer Science 
                   (Fachberichte Informatik)},
  number	= {10-2004},
  year		= {2004}
}