Puede ser asi:
Código PHP:
<?php
session_start();
if( isset($HTTP_SESSION_VARS['variable'] )) {
if($HTTP_SESSION_VARS['variable'] == "Miguel") {
header("location: siguiente_pagina.php");
exit();
}
else {
$mensaje="Usuario NO Autorizado";
header("Location: pagina_error.php?error=$mensaje");
exit();
}
}
else {
$mensaje="Sesion no Iniciada";
header("Location: pagina_error.php?error=$mensaje");
exit();
}
?>