1597 search results - page 17 / 320 » Mental Models of Computer Security |
103
click to vote
ACHI
2008
IEEE
15 years 6 months ago
2008
IEEE
—A challenging issue for HCI is the development of usable mobile interfaces for interactions with a complex pervasive environment. We consider a need for interfaces which automat...
EUROCRYPT
2004
Springer
15 years 5 months ago
2004
Springer
It is well-known that n players connected only by pairwise secure channels can achieve multi-party computation secure against an active adversary if and only if – t < n/2 of t...
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
Computational models of motivation are tools that artificial agents can use to autonomously identify, prioritize, and select the goals they will pursue. Previous research has focu...
93
Voted
CCS
2010
ACM
14 years 12 months ago
2010
ACM
Computational Indistinguishability Logic (CIL) is a logic for reasoning about cryptographic primitives in computational models. It captures reasoning patterns that are common in p...
105
click to vote
SIGOPSE
2004
ACM
15 years 5 months ago
2004
ACM
We propose augmenting secure boot with a mechanism to protect against compromises to field-upgradeable devices. In particular, secure boot standards should verify the firmware o...