A formal analysis technique for secure software architectures by