The security pi-calculus and non-interference

The paper also contains non-interference results with respect to may and must testing. These show that certain form of non-interference can be enforced using our typing systems.