Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
Lecture Notes in Computer Science 3390 Software Engineering for Multi-Agent Systems III Research Iss
2005 年出版289 页ISBN：3540248439
Lecture Notes in Computer Science 2992 Advances in Database Technology-EDBT 2004 9th International C
2004 年出版877 页ISBN：3540212000
HACKING EXPOSED CISCO NETWORKS:CISCO SECURITY SECRETS AND SOLUTIONS
2222 年出版613 页ISBN：0072259175
Secrets and Lies:DIGITAL SECURITY IN A NETWORKED WORLD
2000 年出版414 页ISBN：0471453803
THE COMPLETE BOOK OF HOME SITE AND OFFICE SECURITY
2222 年出版310 页ISBN：0071467440
MANAGING NATIONAL SECURITY POLICY THE PRESIDENT AND THE PROCESS
2222 年出版272 页ISBN：0822942097
THE AFRICAN UNION CHALLENGES OF GLOBALIZATION，SECURITY，AND GOVERNANCE
2008 年出版210 页ISBN：0415403499
CHOICES IN FINANCING HEALTH CARE AND OLD AGE SECURITY
1998 年出版103 页ISBN：9780821342848
Testing Web Security:Assessing the Security of Web Sites and Applications
[美]斯普莱恩（Splaine2003 年出版264 页ISBN：7111119088
本书分为五个部分：第一部分提供了本书的概述并阐明了本书的主要框架。第二部分为“测试计划”，并涉及围绕着计划测试效果的一些相关事项。第三部分“测试设计”是本书的重点，大部分内容为详细列举的各种各样的...
