A simple HMAC-cookie based session handler implementation for PHP 5.4's SessionHandlerInterface