113 search results - page 12 / 23 » Safe Equivalences for Security Properties |
EUROCRYPT
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. This paper describes e cient protocols for multi-party computations that are information-theoretically secure against passive attacks. The results presented here apply to...
EUROCRYPT
2010
Springer
14 years 15 days ago
2010
Springer
A broadcast protocol allows a sender to distribute a message through a point-to-point network to a set of parties, such that (i) all parties receive the same message, even if the s...
CARDIS
1998
Springer
13 years 12 months ago
1998
Springer
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
ASIAN
2006
Springer
13 years 11 months ago
2006
Springer
Given an arbitrary intruder deduction capability, modeled as an inference system S and a protocol, we show how to compute an inference system bS such that the security problem for ...
ESORICS
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. We study methods that allow web sites to safely combine JavaScript from untrusted sources. If implemented properly, filters can prevent dangerous code from loading into t...