Marvin Schaefer, Sylvan Pinsky, Drew Dean, Li Gong, Jim Roskind, Barbara Fox: Ensuring Assurance in Mobile Computing. S&P 1997: 114-118