202 search results - page 31 / 41 » Composing and decomposing systems under security properties |
NECO
2008
13 years 8 months ago
2008
While evidence indicates that neural systems may be employing sparse approximations to represent sensed stimuli, the mechanisms underlying this ability are not understood. We desc...
ACCV
2009
Springer
14 years 3 months ago
2009
Springer
In real world, a scene is composed by many characteristics. Intrinsic images represent these characteristics by two components, reflectance (the albedo of each point) and shading (...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
CRYPTO
2010
Springer
13 years 9 months ago
2010
Springer
Homomorphic encryption (HE) schemes enable computing functions on encrypted data, by means of a public Eval procedure that can be applied to ciphertexts. But the evaluated ciphert...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
— Security breaches and attacks are critical problems in today’s networking. A key-point is that the security of each host depends not only on the protection strategies it choo...