XML access control using static analysisMakoto MurataAkihiko Tozawaet al.2003CCS 2003Conference paper
Optimistic fair contract signing for Web servicesHiroshi MaruyamaTaiga Nakamuraet al.2003CCS 2003Workshop paper
A composable cryptographic library with nested operationsMichael BackesBirgit Pfitzmannet al.2003CCS 2003Conference paper