526 search results - page 92 / 106 » A Z Based Approach to Verifying Security Protocols |
CSFW
2008
IEEE
15 years 6 months ago
2008
IEEE
Composition theorems in simulation-based approaches allow to build complex protocols from sub-protocols in a modular way. However, as first pointed out and studied by Canetti and ...
123
click to vote
IACR
2011
13 years 11 months ago
2011
Fully homomorphic encryption (FHE) provides a simple template for secure computation between two parties (Alice and Bob) where: (I) Alice encrypts her input under her key, (II) Bo...
123
click to vote
ICC
2011
IEEE
13 years 11 months ago
2011
IEEE
Abstract—Wireless Sensor Networks are proven highly successful in many areas, including military and security monitoring. In this paper, we propose a method to use the edge–bet...
TCC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A (k; n)-robust combiner for a primitive F takes as input n candidate implementations of F and constructs an implementation of F, which is secure assuming that at least k...
96
Voted
ICDCIT
2004
Springer
15 years 5 months ago
2004
Springer
The need to securely share information on an ad-hoc basis between collaborating entities is increasingly becoming important. We propose a coalition based access control model (CBAC...