두 번째 순서 초과 속성 모니터링

이 논문에서는 두 번째 순서 초과 속성을 실행 시간에 모니터링하는 알고리즘을 제시합니다. 이는 지식, 정보 흐름 및 프라이버시와 관련된 시스템 속성을 포착하는 데 필요합니다.