2004

Cryptographic Security Architecture

Design and Verification

Authors:

ISBN: 978-0-387-95387-8 (Print) 978-0-387-21551-8 (Online)

Table of contents (9 chapters)

  1. Front Matter

    Pages i-xviii

  2. No Access

    Book Chapter

    Pages 1-43

    The Software Architecture

  3. No Access

    Book Chapter

    Pages 45-91

    The Security Architecture

  4. No Access

    Book Chapter

    Pages 93-125

    The Kernel Implementation

  5. No Access

    Book Chapter

    Pages 127-166

    Verification Techniques

  6. No Access

    Book Chapter

    Pages 167-213

    Verification of the cryptlib Kernel

  7. No Access

    Book Chapter

    Pages 215-273

    Random Number Generation

  8. No Access

    Book Chapter

    Pages 275-303

    Hardware Encryption Modules

  9. No Access

    Book Chapter

    Pages 305-308

    Conclusion

  10. No Access

    Book Chapter

    Pages 309-316

    Glossary

  11. Back Matter

    Pages 317-320