PUBLICATION: Provably secure policy-based cryptography © EURECOM. Personal use of this material is permitted. The definitive version of this paper was published in Research report RR-05-141 and is available at : Document