Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Formal Specification of Security-relevant Properties of User Interfaces

Technical Report
Author(s):Bernhard Beckert and Gerd Beuster
Institution:Department of Computer Science, University of Koblenz
Series:Technical Reports in Computer Science (Fachberichte Informatik)
Number:10-2004
Year: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}
}