
Component-oriented verification of noninterference
Keywords: Component-based software systems; Noninterference analysis; Architectural description languages; Process algebra; Equivalence checking