Apple
- Store
- Mac
- iPad
- iPhone
- Watch
- Vision
- AirPods
- TV & Home
- Entertainment
- Accessories
- Support

Apple Books Preview

Local Nav Open Menu Local Nav Close Menu

Top Books
Top Audiobooks

Joshua D. Guttman

Books

Foundations of Security, Protocols, and Equational Reasoning

Foundations of Security, Protocols, and Equational Reasoning

Foundations of Security, Protocols, and Equational Reasoning

Formal Aspects in Security and Trust

Formal Aspects in Security and Trust

Formal Aspects in Security and Trust

More ways to shop: Find an Apple Store or other retailer near you. Or call 1-800-MY-APPLE.

Choose your country or region

Copyright © 2024 Apple Inc. All rights reserved.

Privacy Policy
Terms of Use
Legal
Site Map