Sicherheit und Electronic Commerce

Verbindliche Telekooperation — Ein Modell für Electronic Commerce auf der Basis formaler Sprachen.- Eine korrekte Authentifikationslogik zur Analyse von Electronic-Commerce-Protokollen.- Generische, attributierte Aktionsklassen für mehrseitig sichere, verteilte Anwendungen.- Ein unscharfes Bewertungskonzept für die Bedrohungs- und Risikoanalyse Workflow-basierter Anwendungen.- RSD-XPS — Ein Expertensystem für die Internet-Sicherheitskonzeption.- Ein nutzerorientiertes Konzept zur Risikoeinschätzung und Risikohandhabung bei der Zahlungssystemwahl.- Towards Secure Mediation.- Kopplung und Integration von Diensten im Elektronischen Handel.- Mobile Agenten auf elektronischen Märkten — Einsatzmöglichkeiten und Sicherheitsanalyse.- Sicherheitsaspekte von Online-Subskription in einer TINA-Umgebung.- ALMO$T: Eine Modellierungsmethode für sichere elektronische Geschäftstransaktionen.- Sicherheitsanalyse von Geschäftsprozessen unter Verwendung der Prozeßalgebra CCS.- Ein Überblick zum Thema E-Mail-Verschlüsselung- sund Signaturstandards.- Die Matrix Auktion: Ein Marktmechanismus zur Koordination von Virtuellen Unternehmen.- Sind rechtsverbindliche digitale Signaturen möglich?.