1597 search results - page 40 / 320 » Mental Models of Computer Security |
113
click to vote
EUROCRYPT
2003
Springer
15 years 7 months ago
2003
Springer
The recently proposed universally composable (UC) security framework for analyzing security of cryptographic protocols provides very strong security guarantees. In particular, a p...
125
click to vote
SIGCSE
2009
ACM
15 years 8 months ago
2009
ACM
Jeannette Wing’s call for teaching Computational Thinking (CT) as a formative skill on par with reading, writing, and arithmetic places computer science in the category of basic...
109
Voted
EUROPAR
2008
Springer
15 years 3 months ago
2008
Springer
124
click to vote
WS
2006
ACM
15 years 7 months ago
2006
ACM
In this paper, we propose a formal notion of network security for ad hoc networks. We adopt a probabilistic security framework, that is, security is defined by a polynomially bou...
100
click to vote
TGC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...