Atsuko Miyaji, Hiroaki Kikuchi, Kai Rannenberg: Advances in Information and Computer Security, Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007, Proceedings. Lecture Notes in Computer Science 4752, Springer 2007, ISBN 978-3-540-75650-7