@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}
}
Formal Specification of Security-relevant Properties of User Interfaces
| Autor(en): | Bernhard Beckert und Gerd Beuster |
|---|---|
| Institution: | Department of Computer Science, University of Koblenz |
| Reihe: | Technical Reports in Computer Science (Fachberichte Informatik) |
| Nummer: | 10-2004 |
| Jahr: | 2004 |