Formal Security Analysis of Electronic Software Distribution Systems.

Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson

Browse the full SAFECOMP paper archive.