6195 search results - page 940 / 1239 » Cloud Computing Security |
185
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. The current generation of data mining tools have limited capacity and performance, since these tools tend to be sequential. This paper explores a migration path out of th...
189
click to vote
NDSS
2000
IEEE
15 years 11 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
161
click to vote
NDSS
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection...
148
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
We add an operation of group creation to the typed π-calculus, where a group is a type for channels. Creation of fresh groups has the effect of statically preventing certain com...
160
click to vote
NDSS
1998
IEEE
15 years 11 months ago
1998
IEEE
All-Optical Networks provide ultra-fast data rates, but present a new set of challenges for network security. We present a new algorithm for attack localization in networks. The a...