New Identity Management Scheme and its Formal Analysis - Jeonghoon Han (2009)