함수 호출의 안전성을 보안 속성으로 정식화하기

함수 호출의 안전성을 보안 속성으로 정의하여 함수 호출 메커니즘을 보호하는 방법을 제안한다. 스택 안전성을 무결성, 기밀성, 제어 흐름의 관점에서 세부적으로 분해하여 정의한다.