Hola Viktoria puedes usalo tambien de esta manera y es mucho mas entendible y mas comodo:
Código PHP:
<?
session_start();
if(!isset($SESSION))
{
header("location: ingreso.php"); //retorna a la pagina de logueo
}
else
{
$name= $SESSION["name"];
$pass= $SESSION["pass"];
//y el resto de codigo que deseas incluir si a iniciado session.
}
?>
espero te ayude en algo.