Securing Web service compositions

Formalizing authorization policies using event calculus

Mohsen Rouached, Claude Godart

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Abstract

This paper presents a formal model for composing security policies dynamically to cope with changes in requirements or occurrences of events. We address one particular issue - that of authorization within a Web services composition. In particular, we propose a dynamic authorization model which allows for complex authorization policies whilst ensuring trust and privacy between the components services.

Original languageEnglish
Title of host publicationService-Oriented Computing - ICSOC 2006 - 4th International Conference, Proceedings
Pages440-446
Number of pages7
Volume4294 LNCS
DOIs
Publication statusPublished - 2006
Event4th International Conference on Service-Oriented Computing, ICSOC 2006 - Chicago, IL, United States
Duration: Dec 4 2006Dec 7 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4294 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other4th International Conference on Service-Oriented Computing, ICSOC 2006
CountryUnited States
CityChicago, IL
Period12/4/0612/7/06

Fingerprint

Event Calculus
Web Service Composition
Authorization
Web services
Dynamic models
Chemical analysis
Security Policy
Formal Model
Privacy
Requirements
Policy
Model

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Rouached, M., & Godart, C. (2006). Securing Web service compositions: Formalizing authorization policies using event calculus. In Service-Oriented Computing - ICSOC 2006 - 4th International Conference, Proceedings (Vol. 4294 LNCS, pp. 440-446). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4294 LNCS). https://doi.org/10.1007/11948148_37

Securing Web service compositions : Formalizing authorization policies using event calculus. / Rouached, Mohsen; Godart, Claude.

Service-Oriented Computing - ICSOC 2006 - 4th International Conference, Proceedings. Vol. 4294 LNCS 2006. p. 440-446 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4294 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Rouached, M & Godart, C 2006, Securing Web service compositions: Formalizing authorization policies using event calculus. in Service-Oriented Computing - ICSOC 2006 - 4th International Conference, Proceedings. vol. 4294 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4294 LNCS, pp. 440-446, 4th International Conference on Service-Oriented Computing, ICSOC 2006, Chicago, IL, United States, 12/4/06. https://doi.org/10.1007/11948148_37
Rouached M, Godart C. Securing Web service compositions: Formalizing authorization policies using event calculus. In Service-Oriented Computing - ICSOC 2006 - 4th International Conference, Proceedings. Vol. 4294 LNCS. 2006. p. 440-446. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/11948148_37
Rouached, Mohsen ; Godart, Claude. / Securing Web service compositions : Formalizing authorization policies using event calculus. Service-Oriented Computing - ICSOC 2006 - 4th International Conference, Proceedings. Vol. 4294 LNCS 2006. pp. 440-446 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{840499afe4234ddfa3baa6315c55a7d4,
title = "Securing Web service compositions: Formalizing authorization policies using event calculus",
abstract = "This paper presents a formal model for composing security policies dynamically to cope with changes in requirements or occurrences of events. We address one particular issue - that of authorization within a Web services composition. In particular, we propose a dynamic authorization model which allows for complex authorization policies whilst ensuring trust and privacy between the components services.",
author = "Mohsen Rouached and Claude Godart",
year = "2006",
doi = "10.1007/11948148_37",
language = "English",
isbn = "3540681477",
volume = "4294 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "440--446",
booktitle = "Service-Oriented Computing - ICSOC 2006 - 4th International Conference, Proceedings",

}

TY - GEN

T1 - Securing Web service compositions

T2 - Formalizing authorization policies using event calculus

AU - Rouached, Mohsen

AU - Godart, Claude

PY - 2006

Y1 - 2006

N2 - This paper presents a formal model for composing security policies dynamically to cope with changes in requirements or occurrences of events. We address one particular issue - that of authorization within a Web services composition. In particular, we propose a dynamic authorization model which allows for complex authorization policies whilst ensuring trust and privacy between the components services.

AB - This paper presents a formal model for composing security policies dynamically to cope with changes in requirements or occurrences of events. We address one particular issue - that of authorization within a Web services composition. In particular, we propose a dynamic authorization model which allows for complex authorization policies whilst ensuring trust and privacy between the components services.

UR - http://www.scopus.com/inward/record.url?scp=77049086135&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77049086135&partnerID=8YFLogxK

U2 - 10.1007/11948148_37

DO - 10.1007/11948148_37

M3 - Conference contribution

SN - 3540681477

SN - 9783540681472

VL - 4294 LNCS

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

SP - 440

EP - 446

BT - Service-Oriented Computing - ICSOC 2006 - 4th International Conference, Proceedings

ER -