Security in Communicating Hierarchical Transaction-based Timed Automata