A semi-formal method for security estimationBuldas, Ahto; Priisalu, JaanDatabases and information systems : proceedings of the Second International Baltic Workshop : Tallinn, June 12-14, 1996. Volume 1, Research track1996 / p. 206-212