361 search results - page 16 / 73 » Composition of Password-Based Protocols |
ICMCS
1996
IEEE
14 years 24 days ago
1996
IEEE
TAPSOFT
1997
Springer
14 years 23 days ago
1997
Springer
INFSOF
2010
13 years 7 months ago
2010
JOC
2008
13 years 8 months ago
2008
In the setting of concurrent self composition, a single protocol is executed many times concurrently by a single set of parties. In this paper, we prove lower bounds and impossibi...
SOCO
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...