based Context-Aware Access Control Model for Web
Services. In Proc. of The 2
nd
IEEE Int. Conf. on Web
Services, San Diego, CA, USA.
Casati F., and Shan, M.C. (2001). Dynamic and Adaptive
Composition of E-Services. Information Systems,
26(3).
Damianou, N., Dulay, N., Lupu, E., and Sloman, M.
(2001). The Ponder Specification Language. In Proc.
of the Work. on Policies for Distributed Systems and
Networks, Bristol, UK.
Damiani, E., De Capitani di Vimercati, S., Paraboschi, S.,
and Samarati, P. (2001). Fine Grained Access Control
for SOAP E-Services. In Proc. of the 10
th
Int. World
Wide Web Conf., Hong Kong, China.
Damiani, E., De Capitani di Vimercati, S., Fugazza, C.,
and Samarati, P. (2004). Extending Policy Languages
to the Semantic Web. In Proc. of the Int. Conf. on Web
Engineering, Munich, Germany.
Hu, J., and Weaver, A.C. (2004). A Dynamic, Context-
Aware Security Infrastructure for Distributed
Healthcare Applications. In Proc. of The 1
st
Work. on
Pervasive Security, Privacy, and Trust held in
conjunction with in Conjunction with The 1
st
Annual
Int. Conf. on Mobile and Ubiquitous Systems:
Networking and Services, Boston, MA, USA.
Kouadri Mostefaoui, G. (2004). Towards a Conceptual
and Software Framework for Integrating Context-
Based Security in Pervasive Environments. Ph.D.
Thesis No. 1463, University of Fribourg, Switzerland,
October.
Kouadri Mostefaoui, G., and Brézillon, P. (2004).
Modeling Context-Based Security Policies with
Contextual Graphs. In Proc. of The Work. on Context
Modeling and Reasoning held in conjunction with The
2
nd
IEEE Int. Conf. on Pervasive Computing and
Communication, Orlando, Florida, USA.
Leune, K., van den Heuvel, W.J., and Papazoglou, M.
(2004). Exploring a Multi-Faceted Framework for
SOC: How to Develop Secure Web Service
Interactions? In Proc. of The 14
th
Int. Work. on
Research Issues on Data Engineering, Boston, USA.
Lilly, J. (2004). Tips and Tricks: Web Services Attacks
and Defenses (White Paper). January 2004
(osdn.bitpipe.com/detail/RES/1080320572_938.html),
visited June 2004.
Lupu, E., and Sloman, M. (1999). Conflicts in Policy-
Based Distributed Systems Management. IEEE
Transactions on Software Engineering, 25(6),
November/December.
Maamar, Z., Kouadri Mostéfaoui, S., and Yahyaoui, H.
(2004). A Web Services Composition Approach based
on Software Agents and Context. In Proc. of 19
th
Annual ACM Symposium on Applied Computing,
Nicosia, Cyprus.
Maamar, Z., Narendra, N.C., and Sattanathan, S. (2005).
Towards an Ontology-based Approach for Specifying
and Securing Web Services. In Information and
Software Technology (forthcoming).
Sattanathan, S., Narendra, N.C., and Maamar, Z. (2005).
ConWeSc - Context-based Semantic Web Services
Composition Towards an Ontology-based Approach
for Specifying and Securing Web Services. In Proc. of
The 3
rd
Int. Conf. on Service Oriented Computing,
Amsterdam, The Netherlands, December.
Tonti, G., Bradshaw, J., Jeffers, R., Montanari, R., Suri,
N., and Uszok, A. (2003). Semantic Web Languages
for Policy Representation and Reasoning: A
Comparison of KAoS, Rei, and Ponder. In Proc. of
The 2
nd
Int. Semantic Web Conf., Sanibel Island,
Florida, USA.
Wang, H., Jha, S., Livny, M., and McDaniel, P. D. (2004).
Security Policy Reconciliation in Distributed
Computing Environments, 2004. In Proc. of the 5
th
Int.
Work. on Policies for Distributed Systems and
Networks, New York, USA.
(2) Security Policy Proposal (SPP) for Reconciliation
(3)Security Policy Proposal (SPP) for Reconciliation
(10) Availability Confirmation Details (optional)
Travel Service
(Composite Service Provider)
Airline Service
(Web Service Provider/Instance)
Payment Service
(Web Service Provider/Instance)
(4) Process SPP
(6) SPP Accepted
(7) SPP Accepted
(13) SSP-Instance-1 for Negotiation
User Agent
(9) Process Request
This Negotiation process will be
continued till the end of mutual agreement
between Web Service Provider/Instance.
reconciliation
(16) SSP-Instance-1 Not-Accepted
(17) SSP-Instance-2 for Negotiation
(21) Air-ticket related details
(20) SSP-Instance-N Accepted
(22) Process Payment
(23) Confirmation
(24) Air-ticket delivery
very
o
o
(19) SSP Instance-2 Not Accepted
(18) Process SSP Instance-2
(1) Get Reservation
(8) Request for Air-ticket
(11) Response (Optional)
(12) Credit-card Details for doing Air-ticket Payment
(5) Process SPP
(15) Process SSP-Instance-1
Appendix 1: Policy Negotiations among Travel Airline and Payment Services.
CONTEXT-DRIVEN POLICY ENFORCEMENT AND RECONCILIATION FOR WEB SERVICES
99