cache e cookie

[bejelit]

ho fatto un sistema di autenticazione che sfrutta i cookie, funziona ma ho un problema, una volta fatto il logout che tra le altre cose distrugge il cookie, se io da barra degli indirizzi tentassi di entrare su una pagina che dovrebbe essere protetta da uno script di controllo, la pagina mi viene visualizzata anche se il cookie non esiste, se premo f5 e mi ricarica la pagina allora lo script me la blocca e la pagina non è più visualizzabile.
lo so che è una pecca di ingernuità dovuta alla mia scarsa esperienza ma esiste qualcosa per non far leggere le variabili dalla cache ma solo dal cookie?
ho provato (isset($_COOKIE[prova]) ma nulla.

[Eyescream]

Spesso gli scrit PHP generano contenuti dinamici, se volete evitare che i contenuti vengano mantenuti nella cache di browser o proxy, potete forzare il loro comportamento con questa direttiva:

header("Expires: Mon, 26 Jul 1997 05:00:00 GMT");    // Data passata
header("Last-Modified: " . gmdate("D, d M Y H:i:s") . " GMT");
                                                     // sempre modificato
header("Cache-Control: no-store, no-cache, must-revalidate");  // HTTP/1.1
header("Cache-Control: post-check=0, pre-check=0", false);
header("Pragma: no-cache");                          // HTTP/1.0 

questo da php.net , però non l'ho provato