Soundness of Loosely Coupled Inter-Organizational Workflows with Multilevel Security Features.

Nirmal Gami, Boleslaw Mikolajczak

Browse the full IKE paper archive.