IFIP
2004
Springer
13 years 10 months ago
2004
Springer
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...
IFIP
2004
Springer
13 years 10 months ago
2004
Springer
IFIP
2004
Springer
13 years 10 months ago
2004
Springer
Abstract The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for sy...