Young-Gab Kim, Chang-Joo Moon, Dongwon Jeong, Doo-Kwon Baik. Formal Verification of Bundle Authentication Mechanism in Osgi Service Platform: Ban Logic. International Journal of Software Engineering and Knowledge Engineering, 16(2):153-174, 2006. [doi]
Abstract is missing.