4731 search results - page 167 / 947 » Securing Interactive Programs |
CHI
2007
ACM
14 years 9 months ago
2007
ACM
Current systems for banking authentication require that customers not reveal their access codes, even to members of the family. A study of banking and security in Australia shows ...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
Authentication in public spaces poses significant security risks. Most significantly, passwords can be stolen, potentially leading to fraud. A common method to steal a PIN is thro...
ECBS
1997
IEEE
14 years 1 months ago
1997
IEEE
We present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor, animator, and interpreter, are introduced. The...
OOGRAPHICS
1992
14 years 1 months ago
1992
An object-oriented design is presented for building interactive 3D graphics applications. The design takes the form of a library of classes written in Eiffel, an object oriented l...
AICOM
2010
13 years 9 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...