Text this: Component-oriented verification of noninterference