本书介绍了访问控制和责任衡量、应用软件和系统开发、 商业连续性计划、密码术、操作安全、物理安全、安全体系结构和模型等内容.
[17] J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic model checking: 1020 states and beyond. Information and Computation, 98(2), 1992. [18] M. Burmester and Y. Desmedt. A secure and efficient conference ...
Introduction to Computer Security is a new Computer Security textbook for a new generation of IT professionals.
Schechter, S. E., Dhamija, R., Ozment, A., Fischer, I. (2007). „Emperor's new security indicators: An evaluation of website authentication and the effect of role playing on usability studies”. In IEEE Symposium on Security and Privacy.
The book presents an organized test preparation routine through the use of proven series elements and techniques.
Securing Windows 2000 Professional Using the Gold Standard Template: Version 3. 0
Internet an quan fang hu
Все под контролем: кто н как следит за тобой
UNIX與Internet安全防護: 網路篇
下冊,網路篇
Visible Ops Security: Achieving Common Security and IT Operations Objectives in 4 Practical Steps