Context-Sensitive Equivalences for Non-Interference based Protocol Analysis