14704 search results - page 2585 / 2941 » computing 2007 |
118
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
: To understand overall vulnerability to network attack, one must consider attacker exploits not just in isolation, but also in combination. That is, one must analyze how low-level...
135
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
Data outsourcing is becoming today a successful solution that allows users and organizations to exploit external servers for the distribution of resources. Some of the most challe...
156
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
In measuring the overall security of a network, a crucial issue is to correctly compose the measure of individual components. Incorrect compositions may lead to misleading results...
145
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
Despite the recent advances in the theory underlying obfuscation, there still is a need to evaluate the quality of practical obfuscating transformations more quickly and easily. T...
187
Voted
CEFP
2007
Springer
15 years 11 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...