2043 search results - page 150 / 409 » Reasoning About Security Models |
97
Voted
TCC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Cryptographic protocols are often designed and analyzed under some trusted set-up assumptions, namely in settings where the participants have access to global information...
128
Voted
ESEM
2010
ACM
14 years 11 months ago
2010
ACM
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...
187
Voted
GIS
2009
ACM
16 years 1 months ago
2009
ACM
Modern geographic databases can contain a large volume of data that need to be distributed to subscribed customers. The data can be modeled as a cube, where typical dimensions inc...
115
Voted
TIFS
2008
15 years 21 days ago
2008
In autonomous mobile ad-hoc networks, one major challenge is to stimulate cooperation among selfish nodes, especially when some nodes may be malicious. In this paper, we address co...
80
Voted
CTRSA
2006
Springer
15 years 4 months ago
2006
Springer
This paper studies a new problem called fair identification: given two parties, how should they identify each other in a fair manner. More precisely, if both parties are honest the...