ResPubID18077, role authorization, reliability verification, secured message processing, Hierarchical Colored Petri Net