Proceedings of the Korean Institute of Information and Commucation Sciences Conference (한국정보통신학회:학술대회논문집)
- 2008.05a
- /
- Pages.591-594
- /
- 2008
Analyses of Design for Software Security and Web Component
웹 컴포넌트 및 소프트웨어 보안 설계에 대한 분석
Abstract
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.
Keywords