https://123dok.net/document/yj7k6nky-combining-behavioural-types-with-security-analysis.html