does he get enough play time? only asking because maybe if she's taught what TO play with, it may limit the attacks. reminds me of ADHD, like perhaps she needs more attention to tire her out, just a thought.
I would thiink this problem should subside with time, but I had a problem with my current cat nissa attacking my girlfriend all the time. We ended up having her (my gf) pin her down by the neck, not causing pain, just uncomfortably restaining her and saying NO! and then release her. It would probably help if the same person does it everytime too, like the apparent dominant person, being how cat society works. but it has to be done consistantly in order for it to work. You need to teach her it isn't right, but not with physical abuse.
I used to have a somewhat similar problem with my old cat and my dog. The cat was there first and didnt like sharing space with the dog. She used to beat him senslessly, but only when provoked. Think the dog has a complex now, being he was 10x's her size.