A Language for Modeling Secure Business Transactions.

Alexander W. Rhm, Gaby Herrmann, Gnther Pernul

Browse the full ACSAC paper archive.