Formal analysis of security protocols based on web services

Fatima Shabbir. Formal analysis of security protocols based on web services. PhD thesis, Cardiff University, UK, 2011. [doi]

Abstract

Abstract is missing.