Proc. LICS / CSF Joint Workshop on Computer Security, Pittsburgh, USA (FCS-ARSPA-WITS 2008), pp. 93-107
January 31, 2008
A. Chaudhuri