]. M. Andrychowicz, S. Dziembowski, D. Malinowski, and L. Mazurek, Modeling Bitcoin Contracts by Timed Automata, FORMATS, vol.2014, pp.7-22, 2014.
DOI : 10.1007/978-3-319-10512-3_2

]. A. Armando, Formal analysis of SAML 2.0 web browser single sign-on, Proceedings of the 6th ACM workshop on Formal methods in security engineering, FMSE '08, 2008.
DOI : 10.1145/1456396.1456397

]. D. Dolev and A. Yao, On the Security of Public Key Protocols (Extended Abstract), FOCS, vol.1981, pp.350-357, 1981.

]. D. Oheim-2010, S. Von-oheimb, and . Mödersheim, ASLan++: A Formal Security Specification Language for Distributed Systems. Formal Methods for Components and Objects, pp.1-22

]. P. Wuille, Hierarchical Deterministic Wallets Online specification for BIP32 at https://github.com/bitcoin/bips, p.32, 2012.