8644 search results - page 35 / 1729 » On the Composition of Secure Systems |
ESORICS
2002
Springer
14 years 7 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
SP
1990
IEEE
13 years 11 months ago
1990
IEEE
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
ICALP
2010
Springer
14 years 14 days ago
2010
Springer
We give a quantitative sequential model for noninterference security with probability (but not demonic choice), and a novel refinement order that we prove to be the greatest compo...
CSFW
2005
IEEE
14 years 1 months ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
FC
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Secure computation is a promising approach to business problems in which several parties want to run a joint application and cannot reveal their inputs. Secure computatio...