![](/images/graphics-bg.png)
EMRlog Method for Computer Security for Electronic Medical Records with Logic and Data Mining
Joint Authors
Frausto-Solís, Juan
Martínez Monterrubio, Sergio Mauricio
Monroy Borja, Raúl
Source
Issue
Vol. 2015, Issue 2015 (31 Dec. 2015), pp.1-12, 12 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2015-10-01
Country of Publication
Egypt
No. of Pages
12
Main Subjects
Abstract EN
The proper functioning of a hospital computer system is an arduous work for managers and staff.
However, inconsistent policies are frequent and can produce enormous problems, such as stolen information, frequent failures, and loss of the entire or part of the hospital data.
This paper presents a new method named EMRlog for computer security systems in hospitals.
EMRlog is focused on two kinds of security policies: directive and implemented policies.
Security policies are applied to computer systems that handle huge amounts of information such as databases, applications, and medical records.
Firstly, a syntactic verification step is applied by using predicate logic.
Then data mining techniques are used to detect which security policies have really been implemented by the computer systems staff.
Subsequently, consistency is verified in both kinds of policies; in addition these subsets are contrasted and validated.
This is performed by an automatic theorem prover.
Thus, many kinds of vulnerabilities can be removed for achieving a safer computer system.
American Psychological Association (APA)
Martínez Monterrubio, Sergio Mauricio& Frausto-Solís, Juan& Monroy Borja, Raúl. 2015. EMRlog Method for Computer Security for Electronic Medical Records with Logic and Data Mining. BioMed Research International،Vol. 2015, no. 2015, pp.1-12.
https://search.emarefa.net/detail/BIM-1055882
Modern Language Association (MLA)
Martínez Monterrubio, Sergio Mauricio…[et al.]. EMRlog Method for Computer Security for Electronic Medical Records with Logic and Data Mining. BioMed Research International No. 2015 (2015), pp.1-12.
https://search.emarefa.net/detail/BIM-1055882
American Medical Association (AMA)
Martínez Monterrubio, Sergio Mauricio& Frausto-Solís, Juan& Monroy Borja, Raúl. EMRlog Method for Computer Security for Electronic Medical Records with Logic and Data Mining. BioMed Research International. 2015. Vol. 2015, no. 2015, pp.1-12.
https://search.emarefa.net/detail/BIM-1055882
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1055882