1679 search results - page 122 / 336 » Security Properties and CSP |
161
click to vote
ACNS
2004
Springer
15 years 11 months ago
2004
Springer
We study the data privacy of cryptosystems with All-or-Nothing transform (AONT). An AONT is an efficient computable transform with two properties: Given all the bits of its output...
210
click to vote
NORDSEC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. To have certainty about identities is crucial for secure communication in digital environments. The number of digital identities that people and organizations need to man...
212
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper presents a thorough survey of recent work addressing energy efficient multicast routing protocols and secure multicast routing protocols in Mobile Ad hoc Networks (MANE...
169
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Usage controls enable the provider of some information to limit how recipients may use it. Usage controls may be desirable in enterprise environments, e.g., for regulatory complia...
154
click to vote
ACSAC
2005
IEEE
16 years 13 hour ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...