A Secure User-Centred Healthcare System: Design and Verification

Eduard Baranov, Juliana Bowles, Thomas Given-Wilson, Axel Legay, Thais Webber. A Secure User-Centred Healthcare System: Design and Verification. In Juliana Bowles, Giovanna Broccia, Roberto Pellungrini, editors, From Data to Models and Back - 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers. Volume 13268 of Lecture Notes in Computer Science, pages 44-60, Springer, 2021. [doi]

Authors

Eduard Baranov

This author has not been identified. Look up 'Eduard Baranov' in Google

Juliana Bowles

This author has not been identified. Look up 'Juliana Bowles' in Google

Thomas Given-Wilson

This author has not been identified. Look up 'Thomas Given-Wilson' in Google

Axel Legay

This author has not been identified. Look up 'Axel Legay' in Google

Thais Webber

This author has not been identified. Look up 'Thais Webber' in Google