Specification and Verification of Secure Business Transaction Systems.

Vangalur S. Alagar, Kasilingam Periyasamy

Browse the full SOFSEM paper archive.