Security Properties Consistent with the Testing Semantics for Communicating Processes - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Dale M. Johnson, F. Javier Thayer. Security Properties Consistent with the Testing Semantics for Communicating Processes. In CSFW. pages 9-21, 1989.

@inproceedings{JohnsonT89,
  title = {Security Properties Consistent with the Testing Semantics for Communicating Processes},
  author = {Dale M. Johnson and F. Javier Thayer},
  year = {1989},
  tags = {semantics, testing, security},
  researchr = {https://researchr.org/publication/JohnsonT89},
  cites = {0},
  citedby = {0},
  pages = {9-21},
  booktitle = {CSFW},
}

runs on WebDSL