Formalization of a Security Framework Design for a Health Prescription Assistant in an Internet of Things System