Static Analysis for Secrecy and Non-interference in Networks of Processes