Formal Verification of Bundle Authentication Mechanism in Osgi Service Platform: Ban Logic.

Young-Gab Kim Chang-Joo Moon Dongwon Jeong Doo-Kwon Baik Formal Verification of Bundle Authentication Mechanism in Osgi Service Platform: Ban Logic. 153-174 2006 16 International Journal of Software Engineering and Knowledge Engineering 2 http://dx.doi.org/10.1142/S0218194006002793 db/journals/ijseke/ijseke16.html#KimMJB06