Lecture Notes in Computer Science 1561 Lectures on Data Security Modern Cryptology in Theory and Pra
1999 年出版250 页ISBN：3540657576
Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference
CAV 20042004 年出版536 页ISBN：3540223428
Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference
CAV 20052005 年出版564 页ISBN：3540272313
Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN：9783540733676
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN：354037406X
Lecture Notes in Computer Science 4817 Information Security and Cryptology-ICISC 2007 10th Internati
2007 年出版368 页ISBN：9783540767879
Lecture Notes in Computer Science 2288 Information Security and Cryptology-ICISC 2001 4th Internatio
2002 年出版457 页ISBN：3540433198
Lecture Notes in Computer Science 2971 Information Security and Cryptology-ICISC 2003 6th Internatio
2004 年出版458 页ISBN：3540213767
Lecture Notes in Computer Science 4677 Foundations of Security Analysis and Design IV FOSAD 2006/200
2007 年出版326 页ISBN：9783540748090
Lecture Notes in Computer Science 4296 Information Security and Cryptology-ICISC 2006 9th Internatio
2006 年出版358 页ISBN：9783540491125
