259 search results - page 7 / 52 » ccs 2010 |
CCS
2010
ACM
13 years 10 months ago
2010
ACM
IPsec allows a huge amount of flexibility in the ways in which its component cryptographic mechanisms can be combined to build a secure communications service. This may be good fo...
CCS
2010
ACM
13 years 10 months ago
2010
ACM
Computational Indistinguishability Logic (CIL) is a logic for reasoning about cryptographic primitives in computational models. It captures reasoning patterns that are common in p...
CCS
2010
ACM
13 years 7 months ago
2010
ACM
In this work we present our friend-in-the-middle attacks on SNSs and how it can be used to harvest social data in an automated fashion. This social data can then be exploited for ...
TCS
2010
13 years 8 months ago
2010
Subbisimilarity is proposed as a general tool to classify the relative expressive power of process calculi. The expressiveness of several variants of CCS is compared in terms of t...
VTC
2010
IEEE
13 years 8 months ago
2010
IEEE
— in this paper we address the problem of reducing the feedback for the downlink transmission in multi-carrier systems. In these systems multiple Component Carriers (CCs) are agg...