Formal specification of security-relevant properties of user interfaces (2004)

by Bernhard Beckert, Gerd Beuster
Venue:In Proceedings, 3rd International Workshop on Critical Systems Development with UML