@proceedings{backes05proceedings,
  author       = {Backes, Michael and Scedrov, Andre},
  title        = {Proceedings of 3rd International Workshop on Security and Concurrency (SecCo), affiliated with CONCUR'05, San Francisco, CA},
  month        = {September},
  year         = {2005},
  publisher    = {ENTCS}
}