8644 search results - page 266 / 1729 » On the Composition of Secure Systems |
188
click to vote
SCN
2008
Springer
15 years 6 months ago
2008
Springer
We present an implementation of the protocol of Lindell and Pinkas for secure two-party computation which is secure against malicious adversaries [13]. This is the first running sy...
140
click to vote
NAACL
2007
15 years 8 months ago
2007
A new architecture for identifying and interpreting temporal expressions is introduced, in which the large set of complex hand-crafted rules standard in systems for this task is r...
162
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Simulatability has established itself as a salient notion for defining and proving the security of cryptographic protocols since it entails strong security and compositio...
168
click to vote
CSFW
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
211
click to vote
PODC
1994
ACM
15 years 10 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...