@inproceedings{yang:hal-01582991,
  TITLE = {{Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces}},
  AUTHOR = {Yang, Fan and Aotani, Tomoyuki and Masuhara, Hidehiko and Nielson, Flemming and Nielson, Hanne Riis},
  URL = {https://inria.hal.science/hal-01582991},
  BOOKTITLE = {{13th Conference on Coordination Models and Languages (COORDINATION)}},
  ADDRESS = {Reykjavik, Iceland},
  EDITOR = {Wolfgang Meuter and Gruia-Catalin Roman},
  PUBLISHER = {{Springer}},
  SERIES = {Coordination Models and Languages},
  VOLUME = {LNCS-6721},
  PAGES = {202-218},
  YEAR = {2011},
  MONTH = Jun,
  DOI = {10.1007/978-3-642-21464-6\_14},
  PDF = {https://inria.hal.science/hal-01582991/file/978-3-642-21464-6_14_Chapter.pdf},
  HAL_ID = {hal-01582991},
  HAL_VERSION = {v1},
}