Essays about: "Event-B"

Found 1 essay containing the word Event-B.

  1. 1. Secure Handling of Electronic Health Records for Telemedicine Applications

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Fredrik Ljung; [2018]
    Keywords : Electronic Health Records; Telemedicine; Security; Event-B;

    Abstract : Medical record systems are used whenever caregiving is practiced. The medical records serve an important role in establishing patient safety. It is not possible to prevent honest-but-curious doctors from accessing records since it is legally required to allow doctors to access health records for emergency cases. READ MORE