Ying Jin, Zepeng Li, Da Wei, Lei Liu. Automatic Generation and Enforcement of Security Contract for Pervasive Application. In Cheng-Zhong Xu, Minyi Guo, editors, 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), Shanghai, China, December 17-20, 2008, Volume II: Workshops. pages 55-60, IEEE Computer Society, 2008. [doi]
Abstract is missing.