Model-checking of safety and security aspects in web service flows

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3140, Issue , 2004, Pages 488-501

  Nakajima, Shin ^a  

^a JAPAN SCIENCE AND TECHNOLOGY AGENCY   (Japan)

Author keywords

Information flow; Lattice based security label; Model checking; Web service flow

Indexed keywords

COMPUTER SYSTEM FIREWALLS; MODEL CHECKING; SAFETY ENGINEERING; WEBSITES;

DESCRIPTION LANGUAGES; DISTRIBUTED COLLABORATION; INFORMATION FLOWS; MODEL-CHECKING VERIFICATION; SAFETY AND SECURITIES; SECURITY LABEL; SERVICE FLOWS; WEB SERVICE PROVIDERS;

WEB SERVICES;

EID: 84919488915     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27834-4_60     Document Type: Conference Paper

References (17)

1. M.A. Bishop. Computer Security: Art and Science. Addison-Wesley 2003.
2. E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana. Web Service Description Language (WSDL). W3C Web Site, 2001.
3. F. Curbera, Y. Goland, J. Klein, F. Leymann, D. Roller, S. Thatte, and S. Weerawarana. Business Process Execution Language for Web Services. Version 1.1, May 2003.
4. F. Curbera, R. Khalaf, N. Mukhi, S. Tai, and S. Weerawarana. The Next Step in Web Services. Comm. ACM, Vol. 46, No. 10, pages 29–34, October 2003.
5. E. Clarke, O. Grumberg, and D. Peled. Model Checking. The MIT Press, 1999.
6. B. Davey and H. Priestley. Introduction to Lattices and Order (2ed.). Cambridge, 2002.
7. D.E. Denning. A Lattice Model of Secure Information Flow. Comm. ACM, Vol.19, No.5, pages 236–243, May 1976.
8. H. Foster, S. Uchitel, J. Magee, and J. Kramer.: Model-based Verification of Web Service Compositions. In Proc. ASE 2003, September 2003.
9. A. Gordon, K. Bhargavan, and C. Fournet. A Semantics for Web Services Authentication. In Proc. POPL 2004, pages 198–209, January 2004.
10. G.J. Holzmann. The SPIN Model Checker. Addison-Wesley 2004.
11. F. Leymann. Web Services Flow Language (WSFL 1.0). IBM Corporation, May 2001.
12. S. Nakajima. On Verifying Web Service Flows. In Proc. SAINT 2002 Workshop, pages 223–224, January 2002.
13. S. Nakajima. Verification of Web Service Flows with Model-Checking Techniques. In Proc. Cyber World 2002, pages 378–385, IEEE, November 2002.
14. S. Nakajima. Model-Checking of Web Service Flow (in Japanese). In Trans. IPS Japan, Vol.44, No.3, pages 942–952, March 2003. A concise version presented at OOPSLA 2002 Workshop on Object-Oriented Web Service, November 2002.
15. S. Narayanan and S.A. Mcllraith. Simulation, Verification and Automated Composition of Web Services. In Proc. WWW-11, 2002.
16. R. Sandhu. Lattice-Based Access Control Models. IEEE Computer, Vol.26, No.11, pages 9–19, November 1993.
17. S. Thatte. XLANG – Web Services for Business Process Design. Microsoft Corporation, May 2001.