Author:
Kammüller Florian,Legay Axel,Schivo Stefano
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference7 articles.
1. Budde, C.E., Biagi, M., Monti, R.E., D’Argenio, P.R., Stoelinga, M.: Rare event simulation for non-Markovian repairable fault trees. In: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, LNCS. Springer (2020)
2. CHIST-ERA. Success: Secure accessibility for the internet of things, 2016. http://www.chistera.eu/projects/success and https://github.com/success-iot
3. Kammüller, F.: Attack Trees in Isabelle. In: 20th International Conference on Information and Communications Security, LNCS 11149, Springer (2018)
4. Kammüller, F.: Combining Secure System Design with Risk Assessment for IoT Healthcare Systems. In: Workshop of Security, Privacy, and Trust in the IoT, SPTIoT’19, colocated with IEEE PerCom’19. https://doi.org/10.1109/PERCOMW.2019.8730776, IEEE (2019)
5. Kammüller, F.: A formal development cycle for Security Engineering in Isabelle, (2020). arXiv:2001.08983