Key agreement via protocols - Roscoe, A; Wang, L (Springer Verlag, 2019)