EMRlog Method for Computer Security for Electronic Medical Records with Logic and Data Mining.

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...

Descripción completa

Detalles Bibliográficos
Publicado en:BioMed Research International Vol. 2015; pp. 1 - 13
Autores principales: Martínez Monterrubio, Sergio Mauricio, Frausto Solis, Juan, Monroy Borja, Raúl
Formato: algorithm equations & formulas research tables/charts Journal Article
Publicado: Wiley-Blackwell 10/1/2015
Acceso en línea:Ver este registro en EBSCOhost
fields @attributes:
  recordID: 1
pdfLink:
plink: https://search.ebscohost.com/login.aspx?direct=true&db=ccm&AN=110311233&site=ehost-live
header:
  @attributes:
    shortDbName: ccm
    uiTerm: 110311233
    longDbName: CINAHL Complete
    uiTag: AN
  controlInfo:
    bkinfo:
    dissinfo:
    jinfo:
      jid:
        23146133
        FT2T
      jtl: BioMed Research International
      issn: 23146133
      maglogo: N
    pubinfo:
      dt: 10/1/2015
      vid: 2015
      pid: 480
      pub: Wiley-Blackwell
      place: Malden, Massachusetts
    artinfo:
      ui:
        110311233
        110311233
        NLM26495300
        110311233
        10.1155/2015/542016
        NLM26495300
        PMC4606165
        110311233
      ppf: 1
      ppct: 12
      formats:
        fmt:
          @attributes:
            type: P
      tig:
        atl: EMRlog Method for Computer Security for Electronic Medical Records with Logic and Data Mining.
      aug:
        au:
          Martínez Monterrubio, Sergio Mauricio
          Frausto Solis, Juan
          Monroy Borja, Raúl
        affil: Departamento de Ciencias Computacionales, Tecnológico de Monterrey, Campus Cuernavaca, Autopista del Sol Km 104, Colonia Real del Puente, 62790 Xochitepec, MOR, Mexico
      sug:
        subj:
          Data Security
          Electronic Health Records
          Logic
          Data Mining
          Databases
          Computer Systems
      ab: 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.
      pubtype: Academic Journal
      doctype:
        algorithm
        equations & formulas
        research
        tables/charts
        Journal Article
      ougenre: Article
    language: English
    refInfo:
    holdings:
      @attributes:
        islocal: N