793 search results - page 27 / 159 » Protocol Modeling with Model Program Composition |
105
click to vote
SRDS
2003
IEEE
15 years 7 months ago
2003
IEEE
The perfectly synchronized round model provides the abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We p...
145
click to vote
ICLP
1992
Springer
15 years 6 months ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
89
Voted
ASIACRYPT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In the standard general-adversary model for multi-party protocols, a global adversary structure is given, and every party must trust in this particular structure. We intr...
142
Voted
FORMATS
2010
Springer
15 years 4 days ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
104
click to vote
TCC
2007
Springer
15 years 8 months ago
2007
Springer
We investigate whether security of multiparty computation in the information-theoretic setting implies their security under concurrent composition. We show that security in the sta...