Assuring the Safety of Asymmetric Social Protocols
2017 ◽
pp. 38-48