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.

Engineering & Materials Science