8644 search results - page 143 / 1729 » On the Composition of Secure Systems |
190
click to vote
ISDA
2009
IEEE
16 years 1 months ago
2009
IEEE
—Web Services are interfaces that describe a collection of operations that are network-accessible through standardized web protocols. When a required operation is not found, seve...
218
Voted
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Privacy practices in social network sites often appear paradoxical, as content-sharing behavior stands in conflict with the need to reduce disclosure-related harms. In this study ...
184
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
171
Voted
SGAI
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we describe the concept of Meta ARM in the context of its objectives and challenges and go on to describe and analyse a number of potential solutions. Meta ARM is de...
191
Voted
ASIACRYPT
2005
Springer
16 years 16 days ago
2005
Springer
We introduce a new cryptographic primitive called the blind coupon mechanism (BCM). In effect, the BCM is an authenticated bit commitment scheme, which is AND-homomorphic. It has n...