1. Nipkow, T., Wenzel, M., Paulson, L.C. (eds.): LNCS, vol. 2283. Springer, Heidelberg (2002).
https://doi.org/10.1007/3-540-45949-9
2. Lecture Notes in Computer Science;F Kammüller,2017
3. Kammüller, F.: Isabelle infrastructure framework with IoT healthcare s&p application (2018).
https://github.com/flokam/IsabelleAT
4. Schneier, B.: Secrets and Lies: Digital Security in a Networked World. Wiley, Hoboken (2004)
5. CHIST-ERA, Success: Secure accessibility for the internet of things (2016).
http://www.chistera.eu/projects/success