Towards an Automatic Analysis of Web Service Security


Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to formally describe the protocols that underly these services, their security properties and the rewriting attacks they might be subject to. Unlike other protocol models (in symbolic… (More)
DOI: 10.1007/978-3-540-74621-8_9


  • Presentations referencing similar topics