A Security Characterisation Framework for Trustworthy Component Based Software Systems

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

Volumn , Issue , 2003, Pages 164-169

  Khan, Khaled Md ^a   Han, Jun ^b  

^a UNIVERSITY OF WESTERN SYDNEY   (Australia)

^b SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; DATABASE SYSTEMS; INTERFACES (COMPUTER); LOGIC PROGRAMMING; SECURITY OF DATA;

DISTRIBUTED PROGRAMMING; SECURITY PROPERTIES; SOFTWARE SYSTEMS;

SOFTWARE ENGINEERING;

EID: 0344235406     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge Press, 2003.
2. Beugnard, A., et al., "Making Components Contract Aware", IEEE Computer, July, 1999, pp. 38-46.
3. Burrows, M., Abadi, M., Needham, R., "A logic of authentication". ACM Operating Systems Review, December, 1989, 23(5), pp. 1-13.
4. Das, S. K., "Deductive databases and logic programming". Addison-Wesley, 1992.
5. Englander, R.: Developing JavaBeans. O'Reilly, 1997.
6. Han, J., "A Comprehensive Interface Definition Framework for Software Components", IEEE Proceedings of the Asia-Pacific Software Engineering Conference, Taipei, 1998, pp. 110-117.
7. Khan, K., Han, J., Zheng, Y., "A framework for an Active Interface to Characterise Compositional Security Contracts of Software Components", IEEE Proc. Australian Software Engineering Conference, August 2001, pp. 117-126.
8. Khan, K., Han, J., "Composing Security-Aware Composition", IEEE Software, Vol. 19-1, January-February, 2002, pp. 34-41.
9. Meyer, B., Mingins, C., "Providing Trusted Components to the Industry", IEEE Computer, May, 1999, pp. 104-105.
10. Rosenbloom, A., "Trusting Technology", Comm. of the ACM, Vol. 43-12, December, 2000, pp. 31-32
11. Syrjanen, T.: Lparse 1.0 User's Manual. University of Helsinki, Finland, 2000.
12. Thomson, C.: Workshop Reports. Workshop on Compositional Software Architectures, Monterey, 1998, http://www.objs.com/workshops/ws9801/report.html
13. Voas, J., "Composing Software Component Ilities", IEEE Software, July/August 2001, pp. 16-17.
14. Voas, J., "Certifying Off-the-Shelf Software Components", IEEE Computer, June, 1998, pp. 53-59.
15. th ICSE Workshop on CBSE: Component Certification and System Prediction", IEEE Proc. ICSE, 2001, pp. 771-772.
16. Councill, W., "Third-Party Testing and the Quality of Software Components", IEEE Software, July-August, 1999, pp. 55-57.