Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle

Florian Kammüller, Juan Carlos Augusto, Simon Jones. Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle. In Liz Bacon, Jixin Ma, Lachlan M. MacKinnon, editors, 15th IEEE International Conference on Software Engineering Research, Management and Applications, SERA 2017, London, United Kingdom, June 7-9, 2017. pages 401-406, IEEE, 2017. [doi]

Abstract

Abstract is missing.