Lecture Notes in Computer Science 3152 Advances in Cryptology-CRYPTO 2004 24th Annual International
2004 年出版579 页ISBN:3540226680
Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN:3540249362