Back to Results
First PageMeta Content
Human–computer interaction / User interfaces / Computer keyboards / User interface / Virtual reality / Text-based / Operating system / X Window System / Keyboard layout / Software / User interface techniques / Computing


Formal Specification of Security-relevant Properties of User Interfaces1 Bernhard Beckert Gerd Beuster
Add to Reading List

Document Date: 2014-04-20 12:45:14

Open Document

File Size: 100,70 KB

Share Result on Facebook

City

Montr´eal / /

Company

Oxford University Computing Laboratory / /

Country

Sweden / Canada / /

/

Facility

beckert|gb}@uni-koblenz.de University of Koblenz Department / /

IndustryTerm

security-critical applications / secure software system / text-based interactive applications / software-based man-in-the-middle attacks / software-based attacks / ubiquitous computing / input/output devices / output device / /

Organization

Conclusions and Future Work In Chapter / University of Koblenz Department of Computer Science Abstract / Future Work In Chapter / Oxford University / German Federal Ministry of Education / Interactive Applications Overview In Chapter / McGill University School of Computer Science / Conf.command / /

Person

A. J. Dix / Bernhard Beckert Gerd Beuster / /

Position

display editor / guard / /

ProgrammingLanguage

Object Constraint Language / /

Technology

main algorithm / Operating System / /

URL

http /

SocialTag