12637 search results - page 365 / 2528 » Security for Extensible Systems |
150
click to vote
CN
2006
15 years 6 months ago
2006
In certain reliable group-oriented and multicast applications, a source needs to securely verify whether all (and if not all, which) intended receivers have received a message. How...
226
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...
178
click to vote
JCS
2010
15 years 1 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
169
click to vote
PACT
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
172
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
—MapReduce has become increasingly popular as a powerful parallel data processing model. To deploy MapReduce as a data processing service over open systems such as service orient...