Miguel Angel García de Dios, Carolina Dania, David A. Basin, Manuel Clavel. Model-Driven Development of a Secure eHealth Application. In Maritta Heisel, Wouter Joosen, Javier Lopez, Fabio Martinelli, editors, Engineering Secure Future Internet Services and Systems - Current Research. Volume 8431 of Lecture Notes in Computer Science, pages 97-118, Springer, 2014. [doi]
Abstract is missing.