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

Florian Kammller, Juan Carlos Augusto, Simon Jones

Browse the full SERA paper archive.