179 search results - page 29 / 36 » Security Notions for Disk Encryption |
FSTTCS
2009
Springer
14 years 3 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
ESOP
2005
Springer
14 years 2 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
DEBS
2010
ACM
13 years 8 months ago
2010
ACM
The provisioning of basic security mechanisms such as authentication and confidentiality is highly challenging in a content-based publish/subscribe system. Authentication of publi...
EUROCRYPT
2010
Springer
14 years 1 months ago
2010
Springer
We introduce the notion of adaptive trapdoor functions (ATDFs); roughly, ATDFs remain one-way even when the adversary is given access to an inversion oracle. Our main application ...
ISW
2009
Springer
14 years 3 months ago
2009
Springer
We present ShMAC (Shallow MAC), a fixed input length message authentication code that performs most of the computation prior to the availability of the message. Specifically, Sh...