Analyzing security architectures