Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems.
Saved in:
| 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 |
| ISSN: | 1443458X |
|---|
