1597 search results - page 56 / 320 » Mental Models of Computer Security |
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...
106
click to vote
ACISP
2006
Springer
15 years 5 months ago
2006
Springer
The only known construction of identity-based signatures that can be proven secure in the standard model is based on the approach of attaching certificates to non-identity-based si...
105
click to vote
ESCIENCE
2006
IEEE
15 years 8 months ago
2006
IEEE
The ability to dynamically create and subsequently manage secure virtual organisations (VO) is one of the key challenges facing the Grid community. Existing approaches for establi...
CASSIS
2004
Springer
15 years 7 months ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
114
click to vote
FSE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper, we propose a 2/3-rate double length compression function and study its security in the black-box model. We prove that to get a collision attack for the com...