Diana Allam. A unified formal model for service oriented architecture to enforce security contracts. In Robert Hirschfeld, Éric Tanter, Kevin J. Sullivan, Richard P. Gabriel, editors, Companion Volume of the 11th International Conference on Aspect-oriented Software Development, AOSD 2012, Potsdam, Germany, March 25-30, 2012. pages 9-10, ACM, 2012. [doi]
Abstract is missing.