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