TY  - RPRT
TI  - Proceedings 7th International Workshop on Security Issues in Concurrency
AU  - Michele Boreale
AU  - Steve Kremer
PY  - 2009
DO  - 10.4204/eptcs.7
UR  - https://arxiv.org/abs/0910.4420
ID  - 0910.4420
ER  -