et al., “Security Analysis of Cryptographically Controlled Access to (2005)

by M Abadi
Venue:XML Documents”, PODS