Ho risolto il problema settando la variabile session.cookie_lifetime ad un valore diverso da zero.
Nessuno sa se sia possibile risolvere il problema senza dovere modificare il file php.ini? (questioni di portabilità del software )