Andre ScedrovBooksSoftware Security -- Theories and SystemsTools and Methods for Program AnalysisAuthor data: Open Library