Secure-system design methods: evolution and future directions | IEEE Journals & Magazine | IEEE Xplore