한국정보통신학회:학술대회논문집 (Proceedings of the Korean Institute of Information and Commucation Sciences Conference)
- 한국해양정보통신학회 2008년도 춘계종합학술대회 A
- /
- Pages.591-594
- /
- 2008
웹 컴포넌트 및 소프트웨어 보안 설계에 대한 분석
Analyses of Design for Software Security and Web Component
초록
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.
키워드