Sicherheitsanalyse von Geschäftsprozessen unter Verwendung der Prozessalgebra CSS

BIB
Thoben, Wilfried and Lechtenbörger, Jens
Sicherheit und Electronic Commerce - Konzepte, Modelle und technische Möglichkeiten (WS SEC'98)
01 / 1998
inproceedings
163 - 180