security check in Definition logic