A Framework for Validating Session Protocols. - Kit Sum Tse; Peter C. Johnson 001 (IEEE Symposium on Security and Privacy Workshops, 2017)