4305 search results - page 208 / 861 » Analysing Protocol Implementations |
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
Abstract. High speed networks are now providing incredible performances. Software evolution is slow and the old protocol stacks are no longer adequate for these kind of communicati...
RTCSA
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper, we propose a protocol synthesis method based on a partial order model (called event structures) for the class of context-free processes. First, we assign a unique n...
CRYPTO
1994
Springer
14 years 1 months ago
1994
Springer
Suppose we are given a proof of knowledge P in which a prover demonstrates that he knows a solution to a given problem instance. Suppose also that we have a secret sharing scheme S...
CSFW
2009
IEEE
14 years 1 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
WICSA
2008
13 years 10 months ago
2008
Service composition is one of the key objectives for adopting Service Oriented Architecture. Today, web services, however, are not always perfectly compatible and composition mism...