Advances in Computer Science - ASIAN 2007. Computer and Network Security : 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings - Iliano Cervesato ((Lecture Notes in Computer Science))