The PER Model of Abstract Non-Interference