Component-oriented verification of noninterference - Aldini, Alessandro; Bernardo, Marco (Journal of Systems Architecture, 2011)