Title | ||
---|---|---|
Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems. |
Year | Venue | Field |
---|---|---|
2014 | Journal of Research and Practice in Information Technology | Data mining,Programming language,Algebraic number,XML,Computer science,Formal specification,XPath,Access control,Healthcare system,Process calculus |
DocType | Volume | Issue |
Journal | 46 | 2-3 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ki-Seok Bang | 1 | 20 | 3.63 |
Il-gon Kim | 2 | 24 | 5.91 |
Ji Yeon Lee | 3 | 32 | 3.50 |
Jin Young Choi | 4 | 768 | 99.57 |