OAuth2 Authorization Code Grant에서 PKCE(Proof Key for Code Exchange)가 도입된 배경과, code_verifier/code_challenge가 인가 코드 탈취(authorization code interception) 공격을 어떻게 막는지 설명해주세요. SPA나 모바일 같은 public client에서 특히 중요한 이유는 무엇인가요?

OAuth2 Authorization Code Grant는 클라이언트가 사용자 대신 리소스 서버에 접근할 수 있도록 하는 강력한 메커니즘입니다. 하지만 SPA나 모바일 앱 같은 public client는 클라이언트 비밀(client secret)을 안전하게 저장할 방법이 없기 때문에, 인가 코드 탈취 공격에 취약했습니다.

PKCE는 이러한 public client의 보안을 강화하기 위해 도입되었습니다. Authorization Code Grant 과정에서 클라이언트는 code_verifier라는 임의의 문자열을 생성하고, 이를 해싱한 code_challenge를 인가 요청 시 함께 보냅니다. 인가 서버는 이 code_challenge를 저장해 둡니다.

이후 클라이언트가 인가 코드를 받아 토큰을 요청할 때, 저장해 두었던 code_verifier를 함께 전송합니다. 인가 서버는 받은 code_verifier를 저장된 code_challenge와 동일한 방식으로 해싱하여 일치하는지 확인합니다. 만약 인가 코드가 중간에 탈취되더라도, 공격자는 code_verifier를 알 수 없기 때문에 토큰을 발급받을 수 없습니다. 즉, code_verifier는 동적인 비밀처럼 작동하여 인가 코드의 유효성을 검증하는 역할을 합니다.

SPA나 모바일 앱은 클라이언트 비밀을 코드에 직접 포함시키거나 안전하게 저장하기 어렵기 때문에, code_verifier는 이러한 환경에서 인가 코드 탈취 공격을 효과적으로 방어하는 필수적인 보안 계층입니다.