9 search results - page 1 / 2 » A Functional Rephrasing of the Assumption Commitment Specifi... |
FMSD
1998
13 years 5 months ago
1998
WADT
1999
Springer
13 years 9 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
TCS
2010
13 years 6 days ago
2010
Constructions of cryptographic primitives based on general assumptions (e.g., one-way functions) tend to be less efficient than constructions based on specific (e.g., number-theor...
FOCS
2010
IEEE
13 years 3 months ago
2010
IEEE
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...
FSEN
2009
Springer
13 years 9 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...