Security characterisation and integrity assurance for component-based software

Proceedings - International Conference on Software Methods and Tools, SMT 2000

Volumn , Issue , 2000, Pages 61-66

  Han, Jun ^a   Zheng, Yuliang ^a  

^a MONASH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

QUALITY OF SERVICE; SOFTWARE ENGINEERING;

COMPONENT BASED SOFTWARE; COMPONENT BASED SYSTEMS; COMPONENT CHARACTERISTICS; COMPONENT-BASED SOFTWARE DEVELOPMENT; COMPONENT-BASED SOFTWARE ENGINEERING; INFORMATION TECHNOLOGY SECURITY; INTERNATIONAL STANDARDS; SYSTEM ARCHITECTURES;

SOFTWARE DESIGN;

EID: 84961668027     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SWMT.2000.890421     Document Type: Conference Paper

References (10)

1. CBSE98. Proceedings of International Workshop on Component-Based Software Engineering. www.sei.cmu.edu/cbs/icse98/, Kyoto, Japan, April 1998.
2. Common Criteria Project/ISO. Common Criteria for Information Technology Security Evaluation, version 2.1 (ISO/IEC International Standard 15408). NIST, USA and ISO, Switzerland, http://csrc.nist.gov/cc/, December 1999.
3. D. D'Souza and A. Wills. Objects, Components and Frameworks with UML: The Catalysis Approach. Addison-Wesley, 1998.
4. J. Han. A comprehensive interface definition framework for software components. In Proceedings of the 1998 Asia-Pacific Software Engineering Conference, pages 110-117, Taipei, Taiwan, December 1998. IEEE Computer Society.
5. J. Han. Temporal logic based specification of component interaction protocols. In New Issues in Object Interoperability: ECOOP 2000 Workshop on Object Interoperability, pages 43-52, Sophia Antipolis, France, June 2000.
6. K. Khan, J. Han, and Y. Zheng. Secuirity properties of software components. In M. Mambo and Y. Zheng, editors, Information Security, pages 52-56. Springer, 1999.
7. K. Khan, J. Han, and Y. Zheng. Chracterising user data protection of software components. In Proceedings of the 2000 Australian Software Engineering Conference, pages 3-11, Canberra, Australia, April 2000. IEEE Computer Society.
8. K. Khan, J. Han, and Y. Zheng. Security properties of software components and their compositional impact: A characterisation model. Working paper, School of Network Computing, Monash University, Melbourne, Australia, July 2000.
9. B. Meyer. Object-Oriented Software Construction. Prentice Hall, Upper Saddle River, NJ, USA, 2nd edition, 1997.
10. C. Thompson. Workshop on Compositional Software Architectures: Workshop Report. http://www.objs.com/workshops/ws9801/report.html, Monterey, USA, January 1998.