1597 search results - page 70 / 320 » Mental Models of Computer Security |
116
click to vote
HOTOS
2003
IEEE
15 years 7 months ago
2003
IEEE
Trusted computing (e.g. TCPA and Microsoft’s NextGeneration Secure Computing Base) has been one of the most talked about and least understood technologies in the computing commu...
116
click to vote
SACMAT
2009
ACM
15 years 8 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
206
click to vote
VLDB
2007
ACM
16 years 2 months ago
2007
ACM
As more sensitive data is captured in electronic form, security becomes more and more important. Data encryption is the main technique for achieving security. While in the past en...
112
click to vote
ASM
2005
ASM
15 years 7 months ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
129
click to vote
CRYPTO
2008
Springer
15 years 3 months ago
2008
Springer
The Random Oracle Model and the Ideal Cipher Model are two well known idealised models of computation for proving the security of cryptosystems. At Crypto 2005, Coron et al. showed...