12981 search results - page 2246 / 2597 » Model Checking (Abstract) |
129
click to vote
ESORICS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. While the idea of database outsourcing is becoming increasingly popular, the associated security risks still prevent many potential users from deploying it. In particular...
136
click to vote
ESORICS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
117
click to vote
ESWS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The vision of semantic business processes is to enable the integration and inter-operability of business processes across organizational boundaries. Since different orga...
134
Voted
EUROCRYPT
2007
Springer
15 years 11 months ago
2007
Springer
sion of an extended abstract to be published in Advances in Cryptology—EUROCRYPT 2007, Springer-Verlag, 2007. Available online from the IACR Cryptology ePrint Archive as Report 2...
158
click to vote
EUROPAR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Prefetching transfers a data item in advance from its storage location to its usage location so that communication is hidden and does not delay computation. We present a ...