Cryptology and Network Security - Hutchison, David; Kanade, Takeo; Manulis, Mark; Sadeghi, Ahmad-Reza (Springer Berlin Heidelberg, 2012)