PHP kôd:
if (!isset($_SESSION['tip']) || $_SESSION['tip'] != 'A') {
header('Location:index.php'); // ili vec bilo koja strana umesto index.php
}
Mali savet: koristi .php umesto .inc, i u tim fajlovima proveravaj da li im se pristupa direktno, ili se oni pozivaju iz nekih drugih.