Design and Verification of Anonymous Trust Protocols

Backes, Michael and Maffei, Matteo
(2009) Design and Verification of Anonymous Trust Protocols.
In: Security Protocols XVII, 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers.

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item