2021 search results - page 145 / 405 » COCO: Composition Model and Composition Model Implementation |
153
click to vote
CSFW
2008
IEEE
16 years 15 days ago
2008
IEEE
We investigate the composition of protocols that share a common secret. This situation arises when users employ the same password on different services. More precisely we study w...
151
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
158
click to vote
ER
2003
Springer
15 years 11 months ago
2003
Springer
With web services emerging as a promising technology for supporting open and dynamic business processes, it is witnessed that standards for business process specification in the c...
150
click to vote
ASIAN
2006
Springer
15 years 9 months ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
151
click to vote
WCE
2007
15 years 7 months ago
2007
—This study comprises finite element simulations and experimental studies of the shape memory effect due to the presence of SMA (shape memory alloy) wires in composite materials....