Codice PHP:
<?php
session_start
();
if (!isset(
$_SESSION['RICONOSCIUTO']) || $_SESSION['RICONOSCIUTO']!='1'){
echo 
"<script>";
echo 
"window.location='login.php'";
echo 
"</script>";
} else {
if (isset(
$_GET['pagina'])) $pagina=$_GET['pagina'];
?>
Così i cookie devono essere abilitati per il passaggio dell'ID di sessione però.