Policy-based cryptography : theory and applications