Xinsong Wu, Zhouyi Zhou, Yeping He, Hongliang Liang. Static Analysis of a Class of Memory Leaks in TrustedBSD MAC Framework. In Feng Bao, Hui Li, Guilin Wang, editors, Information Security Practice and Experience, 5th International Conference, ISPEC 2009, Xi an, China, April 13-15, 2009, Proceedings. Volume 5451 of Lecture Notes in Computer Science, pages 83-92, Springer, 2009. [doi]
Abstract is missing.