A Security Characterisation Framework for Trustworthy Component Based Software Systems

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Khaled Khan Articles by Jun Han

27th Annual International Computer Software and Applications Conference

Dallas, Texas

November 03-November 06

ISBN: 0-7695-2020-0

	ASCII Text	x
	Khaled Khan, Jun Han, "A Security Characterisation Framework for Trustworthy Component Based Software Systems," Computer Software and Applications Conference, Annual International, pp. 164, 27th Annual International Computer Software and Applications Conference, 2003.

	BibTex	x
	@article{ 10.1109/CMPSAC.2003.1245337, author = {Khaled Khan and Jun Han}, title = {A Security Characterisation Framework for Trustworthy Component Based Software Systems}, journal ={Computer Software and Applications Conference, Annual International}, volume = {0}, year = {2003}, isbn = {0-7695-2020-0}, pages = {164}, doi = {http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2003.1245337}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Computer Software and Applications Conference, Annual International TI - A Security Characterisation Framework for Trustworthy Component Based Software Systems SN - 0-7695-2020-0 SP EP A1 - Khaled Khan, A1 - Jun Han, PY - 2003 KW - null VL - 0 JA - Computer Software and Applications Conference, Annual International ER -

Khaled Khan, University of Western Sydney

Jun Han, Swinburne University of Technology, Melbourne, Australia

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2003.1245337

This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framework provides an explicit opportunity for software composers as well as software components to test a priori security properties of software components in a system composition. The proposed framework uses logic programming as a tool to represent security properties of atomic components and reason about their compositional matching with other components. This enables software components as well as composers to 'test' possible matches and mismatches between the security properties of the candidate components and the security requirements of the enclosing application system.

Citation:

Khaled Khan, Jun Han, "A Security Characterisation Framework for Trustworthy Component Based Software Systems," compsac, pp.164, 27th Annual International Computer Software and Applications Conference, 2003

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.