1399 search results - page 95 / 280 » A Pattern for Secure Graphical User Interface Systems |
163
click to vote
AVI
2008
15 years 8 months ago
2008
As information environments grow in complexity, we yearn for simple interfaces that streamline human cognition and effort. Users need to perform complex operations on thousands of...
143
click to vote
FC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...
221
click to vote
PVLDB
2010
15 years 4 months ago
2010
Non-technical users are increasingly adding structures to their data. This gives rise to the need for database design. However, traditional database design is deliberate and heavy...
175
click to vote
RAID
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Software flaws in applications such as a browser may be exploited by attackers to launch drive-by-download (DBD), which has become the major vector of malware infection....
162
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...