Text this: Analysis of information flow security using software implementing business logic based on stored database program blocks