High-Assurance Design : Architecting Secure and Reliable Enterprise Applications

Berg, Clifford J.

Addison-Wesley Professional（2011/09発売）

• 製本 Paperback:紙装版/ペーパーバック版／ページ数 696 p.
• 言語 ENG
• 商品コード 9780321793270
• DDC分類 005

Full Description

Cliff Berg shows how to design high-assurance applications that build in reliability, security, manageability, and maintainability upfront. He draws on real-world scenarios and actual applications, focusing heavily on the activities and relationships associated with building superior software.

Contents

Foreword.Acknowledgments.About the Author.Preface.1. Introduction.2. Assurance Requirements.3. Design Specification and Verification.4. Planning for an Assurable Design.5. Methods of Attack.6. Realms of Trust.7. Access Control Containers.8. Compartmentalization and Classification.9. Transport and Storage of Secrets.10. Design Considerations for Secure Operation.11. Compositional Integrity.12. Concurrency.13. Transactional Integrity.14. Caching and Replication.15. Distributed Services and Messaging.16. Manageability.17. Maintainability.18. Failure Response Design.19. Methodological Considerations.20. Case Study: Transactional Integrity.21. Case Study: Application Security.22. Case Study: Manageability.Appendix A: References.Appendix B: Failure Response Conditions and Requirements.Appendix C: List of Design Principles, by Chapter.Appendix D: List of Design Patterns, Alphabetical.Appendix E: List of Attack Patterns, by Section.Index.