SEMPER--secure electronic marketplace for EuropeBirgit Pfitzmann, Michael Steiner, Michael Waidner · First published 2000Open the Tome
A general framework for formal notions of "secure" systemsBirgit Pfitzmann · First published 1994Open the Tome
