SCOPUS 정보 검색 플랫폼

Proceedings of the ACM Conference on Computer and Communications Security

Volumn , Issue , 2008, Pages 53-59

A formal solution to rewriting attacks on SOAP messages

(2) Sinha, Smriti Kumar a Benameur, Azzedine a

a SAP Research (France)

Author keywords

Context sensitive signature; Formal methods; Regular tree grammar; Security; SOAP; XML rewriting attack

Indexed keywords

CONTEXT-FREE; CONTEXT-SENSITIVE; CONTEXT-SENSITIVE SIGNATURE; FORMAL LANGUAGE THEORY; FORMAL SOLUTION; REGULAR TREE; REGULAR TREE GRAMMAR; SECURITY; SOAP; SOAP MESSAGES; XML SIGNATURE;

FORMAL LANGUAGES; INFORMATION SERVICES; LINGUISTICS; MARKUP LANGUAGES; SERVICE ORIENTED ARCHITECTURE (SOA); WEB SERVICES; XML;

FORMAL METHODS;

EID: 70349234666 PISSN: 15437221 EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/1456492.1456501 Document Type: Conference Paper

Times cited : (16)

References (9)

1
- 70349242702
- XML Rewriting Attacks: Existing Solutions and their Limitations
- IADIS Press, Apr
- A. Benameur, F. Abdul Kadir, and S. Fenet. XML Rewriting Attacks: Existing Solutions and their Limitations. In IADIS Applied Computing 2008. IADIS Press, Apr. 2008.
- (2008) IADIS Applied Computing 2008
- Benameur, A.¹ Abdul Kadir, F.² Fenet, S.³

2
- 18544384338
- Tulafale: A security tool for web services
- FMCOŠ03: Second International Symposium on Formal Methods for Components and Objects
- K. Bhargavan, C. Fournet, A. D. Gordon, and R. Pucella. Tulafale: A security tool for web services. In FMCOŠ03: Second International Symposium on Formal Methods for Components and Objects. LNCS 2003.
- (2003) LNCS
- Bhargavan, K.¹ Fournet, C.² Gordon, A.D.³ Pucella, R.⁴

3
- 74049118181
- Breaking and fixing the inline approach
- New York, NY, USA, ACM
- S. Gajek, L. Liao, and J. Schwenk. Breaking and fixing the inline approach. In SWS '07: Proceedings of the 2007 ACM workshop on Secure web services, pages 37-43, New York, NY, USA, 2007. ACM.
- (2007) SWS '07: Proceedings of the 2007 ACM workshop on Secure web services , pp. 37-43
- Gajek, S.¹ Liao, L.² Schwenk, J.³

4
- 77954328275
- Xml signature element wrapping attacks and countermeasures
- New York, NY, USA, ACM
- M. McIntosh and P. Austel. Xml signature element wrapping attacks and countermeasures. In SWS '05: Proceedings of the 2005 workshop on Secure web services, pages 20-27, New York, NY, USA, 2005. ACM.
- (2005) SWS '05: Proceedings of the 2005 workshop on Secure web services , pp. 20-27
- McIntosh, M.¹ Austel, P.²

5
- 33644699458
- Taxonomy of xml schema languages using formal language theory
- 660-704
- M. Murata, D. Lee, M. Mani, and K. Kawaguchi. Taxonomy of xml schema languages using formal language theory. ACM Trans. Interet Technol., 5(4):660-704, 2005.
- (2005) ACM Trans. Interet Technol , vol.5 , Issue.4
- Murata, M.¹ Lee, D.² Mani, M.³ Kawaguchi, K.⁴

6
- 77954319839
- Towards secure soap message exchange in a soa
- New York, NY, USA, ACM
- M. A. Rahaman, A. Schaad, and M. Rits. Towards secure soap message exchange in a soa. In SWS '06: Proceedings of the 3rd ACM workshop on Secure web services, pages 77-84, New York, NY, USA, 2006. ACM.
- (2006) SWS '06: Proceedings of the 3rd ACM workshop on Secure web services , pp. 77-84
- Rahaman, M.A.¹ Schaad, A.² Rits, M.³

7
- 0004175734
- Simple object access protocol 1.1, 2000. http://www.w3.org/TR/soap/.
- (2000) Simple object access protocol 1.1

8
- 70349250802
- Web service security
- Web service security, 2006. http://www.oasis-open.org/committees/wss/.
- (2006)

9
- 70349228780
- XML-signature syntax and processing
- XML-signature syntax and processing, 2002. http://www.w3.org/TR/xmldsig- core/.
- (2002)

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.