1679 search results - page 42 / 336 » Security Properties and CSP |
142
click to vote
ITNG
2006
IEEE
16 years 2 days ago
2006
IEEE
Informally, Privacy Homomorphism (PH) refers to encryption schemes with a homomorphic property allowing to obtain Ek(a + b) or Ek(a × b) from ciphertexts Ek(a) and Ek(b) without ...
181
click to vote
ESORICS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
184
click to vote
TCC
2012
Springer
14 years 1 months ago
2012
Springer
The hash-and-sign RSA signature is one of the most elegant and well known signatures schemes, extensively used in a wide variety of cryptographic applications. Unfortunately, the o...
163
click to vote
CCS
2000
ACM
15 years 10 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
162
click to vote
SERVICES
2008
15 years 7 months ago
2008
WS-Security is an essential component of the Web services protocol stack. WS-Security provides end-to-end security properties, thereby assuring the participation of nonsecure tran...