325 search results - page 34 / 65 » Concurrent Composition of Secure Protocols in the Timing Mod... |
159
Voted
EUROCRYPT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose and realize a definition of security for passwordbased key exchange within the framework of universally composable (UC) security, thus providing security guar...
142
click to vote
WSC
1998
15 years 5 months ago
1998
Based on the DIS result, the HLA framework has been defined to achieve interoperability of independent simulators. Concurrently, and for the most part, independent of that effort,...
148
Voted
ACNS
2004
Springer
15 years 7 months ago
2004
Springer
In the literature, voting protocols are considered secure if they satisfy requirements such as privacy, accuracy, robustness, etc. It can be time consuming to evaluate a voting pr...
159
Voted
IEEEHPCS
2010
15 years 2 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
129
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...