Using a process algebraic approach of verifying access control in XML-based healthcare systems

Ji Yeon Lee, Jin Young Choi, Il Gon Kim, Ki Seok Bang

    Research output: Contribution to journalArticlepeer-review

    Fingerprint

    Dive into the research topics of 'Using a process algebraic approach of verifying access control in XML-based healthcare systems'. Together they form a unique fingerprint.

    Business & Economics

    Engineering & Materials Science