View in EDS PDF Full Text

Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems.

Saved in:
Bibliographic Details
Title: Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems.
Authors: Ji-Yeon Lee1, jylee@formal.korea.ac.kr, Jin-Young Choi1, choi@formal.korea.ac.kr, Il-Gon Kim2, igkim@kisa.or.kr, Ki-Seok Bang3, mysaver@hallym.ac.kr
Source: Journal of Research & Practice in Information Technology; Aug2014, Vol. 46 Issue 2/3, p107-117, 11p
Database: Applied Science & Technology Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: aci
DbLabel: Applied Science & Technology Source
An: 122401217
AccessLevel: 2
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AU" term="%22Ji-Yeon+Lee%22">Ji-Yeon Lee</searchLink><relatesTo>1</relatesTo>, <i>jylee@formal.korea.ac.kr</i><br /><searchLink fieldCode="AU" term="%22Jin-Young+Choi%22">Jin-Young Choi</searchLink><relatesTo>1</relatesTo>, <i>choi@formal.korea.ac.kr</i><br /><searchLink fieldCode="AU" term="%22Il-Gon+Kim%22">Il-Gon Kim</searchLink><relatesTo>2</relatesTo>, <i>igkim@kisa.or.kr</i><br /><searchLink fieldCode="AU" term="%22Ki-Seok+Bang%22">Ki-Seok Bang</searchLink><relatesTo>3</relatesTo>, <i>mysaver@hallym.ac.kr</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Journal+of+Research+%26+Practice+in+Information+Technology%22">Journal of Research & Practice in Information Technology</searchLink>; Aug2014, Vol. 46 Issue 2/3, p107-117, 11p
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=122401217
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 11
        StartPage: 107
    Titles:
      – TitleFull: Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Ji-Yeon Lee
      – PersonEntity:
          Name:
            NameFull: Jin-Young Choi
      – PersonEntity:
          Name:
            NameFull: Il-Gon Kim
      – PersonEntity:
          Name:
            NameFull: Ki-Seok Bang
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 08
              Text: Aug2014
              Type: published
              Y: 2014
          Identifiers:
            – Type: issn-print
              Value: 1443458X
          Numbering:
            – Type: volume
              Value: 46
            – Type: issue
              Value: 2/3
          Titles:
            – TitleFull: Journal of Research & Practice in Information Technology
              Type: main
ResultId 1