Security-oriented service composition and evolution

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2006, Pages 71-78

  Han, Jun ^a   Kowalczyk, Ryszard ^a   Khan, Khaled M ^b  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

^b QATAR UNIVERSITY   (Qatar)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION THEORY; MODAL ANALYSIS; MODEL CHECKING; SOFTWARE ENGINEERING; STRUCTURE (COMPOSITION);

(PL) PROPERTIES; ANALYSIS TECHNIQUES; ASIA PACIFIC; BUILDING BLOCKS; EVOLUTION (CO); NEGOTIATION TECHNIQUES; SECURITY GOALS; SECURITY OBJECTIVES; SEMANTIC MODELING; SERVICE COMPOSITIONS; SOFTWARE SERVICES; SYSTEM DEVELOPERS; SYSTEM LEVELS;

CHEMICAL ANALYSIS;

EID: 35448984481     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2006.51     Document Type: Conference Paper

References (26)

1. Abadi, M., Lamport, L., "Composing Specifications", ACM Trans. on Programming Languages and Systems, 15(1):73-132.
2. ACM. Special Issue on Service -Oriented Computing. Comm. of the ACM, 46(10), 2003.
3. Atkinson, B. et al., Web Services Security (WS-Security), April 2002.
4. Baral, C., Gelfond, M., "Logic Programming and Knowledge Representation", Journal of Logic Programming, 19, 20:73-148, 1994.
5. Ben-Shaul, I., Gidron, Y., Holder, O., A Negotiation Model for Dynamic Composition of Distributed Applications. In Proc. Ninth Intl Workshop on Database and Expert Systems Applications, Vienna, Austria, pp. 820-825, 1998.
6. Ben-Shaul, I., Holder, A., Lavva, B., "Dynamic Adaptation and Deployment of Distributed Components in Hadas", IEEE Transactions on Software Engineering, Vol. 27, No. 9, September 2001.
7. Clarke, E. M., Grumberg, O., Peled, D. A.: Model Checking. MIT Press, 2000.
8. Denker, G. et al., Security for DAML Web Services: Annotation and Matchmaking. In Proc. 2nd Intl Semantic Web Conf., Sanibel, USA, 2003.
9. Ghosh, A.K. et al. Building Software Securely from the Ground Up. IEEE Software, 19(1): 14-16, 2002.
10. Gong, L., Ellison, G., Dageforde, M., Inside Java 2 Platform Security. Addison Wesley, 2003.
11. ISO/IEC-15408. Common Criteria for Information Technology Security Evaluation, Version 2.0. NIST, 1999, USA. http://csrc.nist.gov/cc/.
12. Jennings, N. et al., Automated Negotiation: Prospects, Methods and Challenges, Intl Journal of Group Decision and Negotiation, 10(2), pp. 199-215.
13. Khan, K., Han, J., "Composing Security-Aware Software", IEEE Software, 19(1):34-41, 2002.
14. Khan, K., Han, J.," A Security Characterisation Framework for Trustworthy Component Based Software Systems", In Proc. 27th Annual Int'l Computer Software and Applications Conf., Dallas, pages 164-169, 2003. IEEE CS Press.
15. Kowalczyk, R., Bui, V., "On Constraintbased Reasoning in eNegotiation Agents", In F. Dignum and U. Corts (Eds.) Agent Mediated Electronic Commerce III, LNAI, Springer-Verlag, pp. 31-46, 2000.
16. Kowalczyk, R., Mller, J., Tianfield, H., Unland, R. (Eds), Agent Technologies, Infrastructures, Tools, and Applications for e-Services. LNAI 2592, Springer-Verlag, 2003.
17. Lewicki, R., Saunders, D., Minton, J.: Essentials of Negotiation. Irwin, 1997
18. McCullough, D., A HookUp Theorem for Multilevel Security. IEEE Trans. on Software Engineering, pp. 563-568, 1990.
19. Preist, C., Byde, A., Bartolini, C., Piccinelli, G., Towards Agent-based Service Composition through Negotiation in Multiple Auctions. TR hpl-2001-71, Hewlett Packard, 2002.
20. Rahwan, I., Kowalczyk, R., Pham, H. "Intelligent Agents for One-to-Many Automated e-Commerce Negotiation", Proc of the Australasian Computer Science Conference ACSC 2002.
21. Rangarajan, M., Alexander, P., AbuGhazaleh, N.B., Using Automatable Proof Obligations for Component-based Design Checking. In Proc. Intl. Wshop on Engineering of Computer-Based Systems, pp. 304-310, 1999.
22. Rosenschein, J., Zlotkin, G., "Rules of Encounter: Designing Conventions for Automated Negotiation among Computers", MIT Press, 1994.
23. Sewell, P., Vitek, J., Secure Composition of Insecure Components. In Proc. 12th IEEE Computer Security Foundations Wshop, pp. 136-150, 1999.
24. Voas, J., The Challenges of Using COTS Software in Component-Based Development. IEEE Computer, June, pp. 44-45, 1998.
25. Zaremski, A., Wing, J., Specification Matching of Software Components, ACM Trans. Software Engineering and Methodology, 6(4): 333-369, 1997
26. Zeng, L., Benatallah, B., Ngu, A., Dumas, M., "QoS-Aware Middleware for Web Services Composition", IEEE Transactions on Software Engineering, IEEE Society, USA, 2004, pp. 311-327.