5475 search results - page 435 / 1095 » Model Driven Security |
156
click to vote
ICCS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In this paper we address the problem of granting the correctness of Grid computations. We introduce a Grid Integrity Validation Scheme (GIVS) that may reveal the presence...
172
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
A fundamental feature of Peer-to-Peer (P2P) networks is the honest collaboration among an heterogeneous community of participants. After Napster success
188
Voted
CCS
2009
ACM
16 years 7 months ago
2009
ACM
We treat the security of group key exchange (GKE) in the universal composability (UC) framework. Analyzing GKE protocols in the UC framework naturally addresses attacks by maliciou...
177
click to vote
ACISP
2007
Springer
16 years 1 months ago
2007
Springer
This paper improves the Finiasz-Vaudenay construction of TCHo, a hardware-oriented public-key cryptosystem, whose security relies on the hardness of finding a low-weight multiple ...
199
Voted
CSFW
2006
IEEE
16 years 28 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...