741 search results - page 66 / 149 » Verification of security protocols using LOTOS-method and ap... |
116
click to vote
CN
2006
15 years 4 months ago
2006
In certain reliable group-oriented and multicast applications, a source needs to securely verify whether all (and if not all, which) intended receivers have received a message. How...
257
click to vote
ICDE
2009
IEEE
16 years 5 months ago
2009
IEEE
Modern database systems increasingly make use of networked storage. This storage can be in the form of SAN's or in the form of shared-nothing nodes in a cluster. One type of a...
139
Voted
ATC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Grid applications have increasingly sophisticated functional and security requirements. However, current techniques mostly protect only the resource provider from attacks...
110
Voted
FC
2009
Springer
15 years 10 months ago
2009
Springer
In this note, we report on the first large-scale and practical application of secure multiparty computation, which took place in January 2008. We also report on the novel cryptogr...
160
click to vote
DEXAW
2008
IEEE
15 years 5 months ago
2008
IEEE
We have proposed in the past three separate methodologies for secure software development. We have found that they have many common and complementary aspects and we proposed a com...