semantics, security policy design, colored petri nets, order-sorted parameterization and