5484 search results - page 236 / 1097 » Almost-Everywhere Secure Computation |
166
click to vote
TCC
2007
Springer
16 years 22 days ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
147
click to vote
CSFW
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
176
click to vote
IEEEARES
2006
IEEE
16 years 20 days ago
2006
IEEE
Authentication and Authorisation Infrastructures (AAIs) are gaining momentum throughout the Internet. Solutions have been proposed for various scenarios among them academia, GRID ...
168
click to vote
IEEESP
2010
15 years 5 months ago
2010
Abstract. We devise a model for security investment that reflects dynamic interaction between a defender, who faces uncertainty, and an attacker, who repeatedly targets the weakes...
266
click to vote
ICDE
2004
IEEE
16 years 8 months ago
2004
IEEE
Edge computing pushes application logic and the underlying data to the edge of the network, with the aim of improving availability and scalability. As the edge servers are not nec...