Deriving systems level security properties of component based composite systems

Proceedings of the Australian Software Engineering Conference, ASWEC

Volumn 2005, Issue , 2005, Pages 334-343

  Khan, Khaled M ^a   Han, Jun ^b  

^a UNIVERSITY OF WESTERN SYDNEY   (Australia)

^b SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

PRODUCT DESIGN; SECURITY OF DATA; SECURITY SYSTEMS; SOFTWARE ENGINEERING;

COARSE-GRAINED COMPONENT; COMPOSITIONAL SECURITY PROPERTIES; END USERS; SOFTWARE INTEGRATORS;

LARGE SCALE SYSTEMS;

EID: 33646546963     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASWEC.2005.21     Document Type: Conference Paper

References (18)

1. C. Baral. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge Press, 2003.
2. J. M. Bradshaw, editor. Software Agents, chapter KAoS: Towards an Industrial-strength Generic Agent Architecture, pages 375-418. AAAI Press/MIT Press, 1997.
3. M. Burrows, M. Abadi, and N. R. A Logic of Authentication. ACM Transactions Computer Systems, 8:18-36, February 1990.
4. DAML-S. Semantic Markup for Web Services. Technical report. DAML. 2003.
5. K. Khan and J. Han. A Security Characterisation Framework for Trustworthy Component Based Software Systems. In Proceedings of the COMPSAC 2003. IEEE Computer Society Press, 2003.
6. K. Khan and J. Han. A Process Framework for Characterising Security Properties of Component-based Software Systems. In Proceedings of the Australian Software Engineering Conference. IEEE Computer Society Press, 2004.
7. K. Khan. J. Han. and Y. Zheng. A Framework for an Active Interface to Characterise Compositional Security Contracts of Software Components. In Proceedings of the Australian Software Engineering Conference, pages 117-126. IEEE Computer Society Press. 2001.
8. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Videira Lopes. J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In Proceedings of ECOOP. Springer-Verlag, 1997.
9. D. W. Mennie. An Architecture to Support Dynamic Composition of Service Compoments and its Applicability to Internet Security. M. Eng. thesis. Carleton University, Ottawa, 2000.
10. OMG. UML Pofile for Schedulability, Performance and Time. Specification version 1.0, Object Management Group, 2003.
11. D. Schmidt and S. Vinoski. Object Interactions: Overview of OMG CORBA Messaging QoS Framework. C++ Magazine. 2000.
12. S. Seely. Understanding WS-Security. Technical report, Microsoft, 2002.
13. Standard. Common Criteria for Information Technology Security Evaluation. ISO/IEC 15408. Technical Report v2.0. Nat'l Institute Sandards and Technology. Washington, 1999.
14. T. Syrjaanen. Implementation of local grounding for logic programs with stable model semantics. Technical report 18, Helsinki University of Technology, October 1998.
15. V. Tosic, D. Mennie. and B. Pagurek. On Dynamic Service Composition and Its Applicability. In Proceedings of the Workshop on Object-Oriented Business Solutions at ECOOP 2001, pages 95-108, 2001.
16. A. Uszok. J. Bradshaw, R. Jeffers, N. Suri. P. Hayes. M. Breedy. M. Bunch, S. Johnson, J. Kulkarni, and J. Lott. KAoS Policy and Domain Services: Toward a Description-Logic Approach to Policy Representation, Deconfliction, and Enforcement. In Proceedings IEEE 4th International Workshop on Policies for Distributed Systems and Networks, pages 93-98. IEEE Computer Society Press, 2003.
17. M. V. and M. Hapner. Enterprise JavaBeans Specification. Technical Report Version 1.0, Sun Microsystems Inc., March 1998.
18. J. Viega, J. Bloch. and P. Chandra. Aspect-Oriented Programming to Security. Cutter IT Journal. February 2001.