Luigi Catuogno Roberto Gassirà Michele Masullo Ivan Visconti Securing Operating System Services Based on Smart Cards. 321-330 2005 conf/trustbus/2005 TrustBus http://dx.doi.org/10.1007/11537878_32 db/conf/trustbus/trustbus2005.html#CatuognoGMV05