361 search results - page 14 / 73 » Composition of Password-Based Protocols |
ENTCS
2002
13 years 8 months ago
2002
Building on the work of architectural description languages and aspect-oriented programming, we try to improve current visual component composition environments. In our , we intro...
IAT
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper addresses the dynamic service selection and composition issues for the satisfaction of user requirements. We propose an approach in which agents perform service composi...
EUROCRYPT
1999
Springer
14 years 27 days ago
1999
Springer
We examine the concurrent composition of zero-knowledge proofs. By concurrent composition, we indicate a single prover that is involved in multiple, simultaneous zero-knowledge pro...
JLP
2007
13 years 8 months ago
2007
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
ICDCSW
2000
IEEE
14 years 6 days ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...