9888 search results - page 1891 / 1978 » compute 2009 |
115
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we propose a conceptual framework for developing a family of models for Group-Centric information sharing. The traditional approach to information sharing, characte...
103
click to vote
EUROCRYPT
2009
Springer
16 years 1 months ago
2009
Springer
A group key agreement (GKA) protocol allows a set of users to establish a common secret via open networks. Observing that a major goal of GKAs for most applications is to establish...
CAV
2009
Springer
16 years 1 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
98
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
109
click to vote
CHES
2009
Springer
16 years 1 months ago
2009
Springer
Algebraic side-channel attacks have been recently introduced as a powerful cryptanalysis technique against block ciphers. These attacks represent both a target algorithm and its ph...