SecCo'07: Security Issues in Concurrency