Cómo interactuar con un dispositivo HSM compatible con PKCS # 11 en PHP

¿Cómo puedo usar material clave de un HSM compatible con PKCS # 11 (por ejemplo, un SafeNet iKey 2032 [USB] o un Aladdin eToken PRO [USB]) en una aplicación PHP que se ejecuta en un servidor Linux?