556 search results - page 8 / 112 » An Abstract Reduction Model for Computer Security Risk |
FC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. For the homomorphic Paillier cryptosystem we construct a protocol for secure modulo reduction, that on input of an encryption x with x of bit length x and a public ‘mod...
CCS
2010
ACM
14 years 11 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...
109
Voted
ECUMN
2007
Springer
15 years 5 months ago
2007
Springer
Context-based access control is an emerging approach for modeling adaptive solution, making access control management more flexible and powerful. But in the ubiquitous environment...
101
click to vote
SACMAT
2004
ACM
15 years 5 months ago
2004
ACM
Emerging trust and risk management systems provide a framework for principals to determine whether they will exchange resources, without requiring a complete definition of their ...
PROVSEC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Oracle separation methods are used in cryptography to rule out blackbox reductions between cryptographic primitives. It is sufficient to find an oracle relative to whic...