Security Properties Consistent with the Testing Semantics for Communicating Processes

@inproceedings{Johnson1989SecurityPC,
  title={Security Properties Consistent with the Testing Semantics for Communicating Processes},
  author={Dale M. Johnson and F. Javier Thayer},
  booktitle={CSFW},
  year={1989}
}