Insecurity by contract. - Phillip L. Nico; Clark Savage Turner; Kimberly Knowles Nico (IASTED Conf. on Software Engineering and Applications, 2004)