Для чего нужно Principal principal

[MasterArduino]

@GetMapping("/profile")
public String profile(Principal principal,
Model model) {
User user = userService.getUserByPrincipal(prin cipal);
model.addAttribute("user", user);
return "profile";
}
Вот дан код, не пойму для чего нужен Principal principal, объясните пожалуйста

[macomics]

Это первый формальный параметр
Далее, фактическое значение переданное в этот параметр, передаётся в другую функцию как её параметр.

[MasterArduino]

macomics, прошу прощения, но вообще не понял, только обучаюсь. Есть какие-нибудь статьи на эту тему?