<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios"^^ . "The importance of the ElectronicHealth Record (EHR), that stores all healthcare-related data belonging to a patient, has been recognised in recent years by governments, institutions and industry. Initiatives like the Integrating the Healthcare Enterprise (IHE) have been developed for the\r\ndefinition of standard methodologies for secure and interoperable EHR exchanges among clinics and hospitals. Using the requisites specified by these initiatives, many large scale projects have been set up for enabling healthcare professionals to handle patients’ EHRs. The success of applications developed in these contexts crucially depends on ensuring such security properties as\r\nconfidentiality, authentication, and authorization.\r\nIn this paper, we first propose a communication \r\nprotocol, based on the IHE specifications, for authenticating healthcare professionals and assuring\r\npatients’ safety. By means of a formal analysis\r\ncarried out by using the specification language\r\nCOWS and the model checker CMC, we reveal a security flaw in the protocol thus demonstrating that to simply adopt the international standards does not guarantee the absence of such type of flaws. We then propose how to emend the IHE\r\nspecifications and modify the protocol accordingly.\r\nFinally, we show how to tailor our protocol for application to more critical scenarios with no assumptions on the communication channels. To demonstrate feasibility and effectiveness of our protocols we have fully implemented them."^^ . "2012" . . "36" . "6" . . "Springer"^^ . . . "Journal of Medical Systems"^^ . . . "01485598" . . . . . . . . . . . . . "Francesco"^^ . "Tiezzi"^^ . "Francesco Tiezzi"^^ . . "Massimiliano"^^ . "Masi"^^ . "Massimiliano Masi"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . . . . . "Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios (PDF)"^^ . . . "Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #1561 \n\nSecurity Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .