You could also confront the boy privately, along with your daughter. He'll most likely deny it, but it will give him a fair warning not to mess with your daughter. If it happens again, if she's harmed in any way, you'll have to bring it up with his parents and get the police involved.