Я твердо верю, что вы правы. Вы не можете сделать недействительной обычную или дайджест-аутентификацию, не выполнив ее в браузере. Даже там это будет чрезвычайно сложно, если не невозможно. Честно говоря, я даже не могу придумать, как сделать это там (кроме попытки закрыть браузер).
Как вы заметили, проблема в том, что даже если вы аннулируете все на стороне сервера, вы дали браузеру все, что ему нужно для автоматического создания нового сеанса аутентификации самостоятельно. Единственный способ очистить это - очистить браузер. Даже перезапуск сервера не снимает отключение способности браузера создавать новую аутентификацию, что является довольно хорошим показателем того, что вы не сможете выполнить это на стороне сервера без аннулирования договора базовой или дайджест-аутентификации.
Честно говоря, это кажется довольно существенной дырой в безопасности браузеров, поскольку вы никогда не должны оставлять браузер запущенным на сервере открытого доступа после аутентификации на сайте с базовой или дайджест-аутентификацией.
Аутентификация по форме может быть вашим лучшим выбором, потому что там вы не предоставляете браузеру информацию о том, как восстановить аутентификацию, если вы не разрешаете cookie-файл запомнить. Даже там вы можете очистить куки при выходе из системы, так что это проще.