287 search results - page 2 / 58 » Mixed Strand Spaces |
FC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. A multi-party fair exchange protocol is a cryptographic protocol allowing several parties to exchange commodities in such a way that everyone gives an item away if and on...
ESOP
2004
Springer
14 years 2 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
IFIPTM
2010
13 years 7 months ago
2010
Abstract. Location-dependent services are services that adapt their behavior based on the locations of mobile devices. For many applications, it is critical that location-dependent...
FOSAD
2000
Springer
14 years 12 days ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
CORR
2009
Springer
13 years 6 months ago
2009
Springer
