Formal verification of bundle authentication mechanism in OSGi service platform: BAN Logic

Young Gab Kim, Chang Joo Moon, Dong Won Jeong, Doo Kwon Baik

    Research output: Contribution to journalArticlepeer-review

    2 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Formal verification of bundle authentication mechanism in OSGi service platform: BAN Logic'. Together they form a unique fingerprint.

    Keyphrases

    Computer Science