Detecting Conflicts between Functional and Security Requirements with Secure Tropos: John Rusnak and the Allied Irish Bank | part of Social Modeling for Requirements Engineering | MIT Press books | IEEE Xplore