Efficient provably-secure hierarchical key assignment schemes