Ki-Seok Bang, Il-Gon Kim, Ji Yeon Lee, Jin-Young Choi. Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems. Australian Computer Journal, 46(2-3), 2014. [doi]
@article{BangKLC14,
title = {Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems},
author = {Ki-Seok Bang and Il-Gon Kim and Ji Yeon Lee and Jin-Young Choi},
year = {2014},
url = {http://ws.acs.org.au/jrpit/JRPITVolumes/JRPIT46/JRPIT46.23.107%20Ji-Yeon%20Lee%20Using%20a%20Process%20Algebraic.pdf},
researchr = {https://researchr.org/publication/BangKLC14},
cites = {0},
citedby = {0},
journal = {Australian Computer Journal},
volume = {46},
number = {2-3},
}