81
Voted
CONCUR
2010
Springer
15 years 3 days ago
2010
Springer
We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both sessi...