오늘은 시스템 안전성과 보안성 검증에서 핵심적인 역할을 하는GSN(Goal Structuring Notation)에 대해 이야기해보려 합니다.GSN은 초보자도 쉽게 이해할 수 있는 구조적 언어로,복잡한 시스템의 주장과 논리를 명확히 표현하는 데 사용됩니다.이번 포스팅을 통해 GSN의 기본 개념, 구조, 그리고 실제 활용 사례를 살펴보겠습니다. 1. GSN(Goal Structuring Notation)이란 무엇인가?GSN은 논리를 시각적으로 표현할 수 있는 그래픽 기반의 표기법입니다. 이를 통해 주장(claims)과 이를 뒷받침하는 근거(evidence)를 체계적으로 연결할 수 있습니다. GSN은 1990년대 초반, 영국의 요크 대학교(University of York)에서 진행된 ASAM-II 프로..