%0 Journal Article %1 journals/acj/BangKLC14 %A Bang, Ki-Seok %A Kim, Il-Gon %A Lee, Ji-Yeon %A Choi, Jin-Young %D 2014 %J J. Res. Pract. Inf. Technol. %K dblp %N 2-3 %T Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems. %U http://dblp.uni-trier.de/db/journals/acj/acj46.html#BangKLC14 %V 46

@article{journals/acj/BangKLC14, added-at = {2021-08-26T00:00:00.000+0200}, author = {Bang, Ki-Seok and Kim, Il-Gon and Lee, Ji-Yeon and Choi, Jin-Young}, biburl = {https://www.bibsonomy.org/bibtex/215f7daa97564d1778b37e94c532d4a4b/dblp}, ee = {http://ws.acs.org.au/jrpit/JRPITVolumes/JRPIT46/JRPIT46.23.107%20Ji-Yeon%20Lee%20Using%20a%20Process%20Algebraic.pdf}, interhash = {846327fd0966c7848fa90b9895d898a9}, intrahash = {15f7daa97564d1778b37e94c532d4a4b}, journal = {J. Res. Pract. Inf. Technol.}, keywords = {dblp}, number = {2-3}, timestamp = {2024-04-09T01:20:30.000+0200}, title = {Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems.}, url = {http://dblp.uni-trier.de/db/journals/acj/acj46.html#BangKLC14}, volume = 46, year = 2014 }