apress
  • Search
  • Menu
  • Cart V
    Your cart is currently empty.
  • Login
    • Account
    • Bookshelf
    • Login
  • Apress Access
  • Categories
    • Apple & iOS
    • Big Data & Analytics
    • Business
    • Databases
    • Enterprise Software
    • Game Development
    • Graphics
    • Hardware & Maker
    • Java
    • Machine Learning
    • Microsoft & .NET
    • Mobile
    • Networking & Cloud
    • Open Source
    • Programming
    • Python
    • Security
    • Web Development
    • Publishing Partners
  • Services
    • About Us
    • Academics
    • Affiliate Program
    • Book Reviewers
    • Corporate Sales
    • Customer Support
    • Events
    • News & Newsletter
    • Rights & Permissions
    • Source Code
    • Submit Errata
    • Technical Reviewers
    • User Groups
  • Apress Open
  • Blog
  • Write
  • Shop
    • Shop Apress.com
    • Booksellers
    • Bulk Sales
    • Corporate Sales
    • Librarians

This selection contains Springer Nature titles

Refine Search

Refine Search

Content Type

  1. Book 273 Remove
  2. Monograph 273 Remove
Error[en_EN | Frontend.ProductSearchPage | section.resultlist.showremaining]

Topics

  1. Computer Communication Networks 273 Remove
  2. Communications Engineering, Networks 94
  3. Systems and Data Security 22
  4. Information Systems Applications (incl.Internet) 18
  5. Artificial Intelligence 13
  1. Control 8
  2. Software Engineering 5
  3. Database Management 5
  4. Signal, Image and Speech Processing 5
  5. Circuits and Systems 5
  6. Performance and Reliability 4
  7. Computer Systems Organization and Communication Networks 4
  8. Operating Systems 4
  9. Multimedia Information Systems 4
  10. Electrical Engineering 4
  11. System Performance and Evaluation 3
  12. Theory of Computation 3
  13. Algorithm Analysis and Problem Complexity 3
  14. Information Systems and Communication Service 3
  15. Information Storage and Retrieval 3
  16. Cryptology 3
  17. Probability Theory and Stochastic Processes 3
  18. Engineering (general) 3
  19. Programming Techniques 2
  20. Data Mining and Knowledge Discovery 2
  21. Computational Biology / Bioinformatics 2
  22. Security 2
  23. Mobile Computing 2
  24. Popular Computer Science 2
  25. Electronics and Microelectronics, Instrumentation 2
  26. Business Strategy/Leadership 1
  27. IT in Business 1
  28. Computer Science (general) 1
  29. Processor Architectures 1
  30. Computer System Implementation 1
  31. Software Engineering / Programming and Operating Systems 1
  32. Probability and Statistics in Computer Science 1
  33. User Interfaces and Human Computer Interaction 1
  34. Simulation and Modeling 1
  35. Natural Language Processing (NLP) 1
  36. Image Processing and Computer Vision 1
  37. Pattern Recognition 1
  38. Computers and Society 1
  39. Management of Computing and Information Systems 1
  40. Computer Engineering 1
  41. Python 1
  42. Geographical Information Systems / Cartography 1
  43. Game Theory, Economics, Social and Behav. Sciences 1
  44. Information and Communication, Circuits 1
  45. Particle Acceleration and Detection, Beam Physics 1
  46. Applied and Technical Physics 1
  47. Applications of Graph Theory and Complex Networks 1
  48. Statistics and Computing / Statistics Programs 1
  49. Appl. Mathematics / Computational Methods of Engineering 1
  50. Complexity 1
  51. Aerospace Technology and Astronautics 1
  52. Nanotechnology and Microengineering 1
  53. Mechatronics 1
  54. Facility Management 1
  55. Cyber-physical systems, IoT 1
  56. Wireless and Mobile Communication 1
  57. Social Sciences (general) 1
Error[en_EN | Frontend.ProductSearchPage | section.resultlist.showremaining]

Release Date

  1. Older 265 Remove
Error[en_EN | Frontend.ProductSearchPage | section.resultlist.showremaining]

Language

  1. English 273 Remove
Error[en_EN | Frontend.ProductSearchPage | section.resultlist.showremaining]

Publisher

Showing 1 results.

Within Book Monograph Computer Communication Networks Older English

Secure Transaction Protocol Analysis Book

Secure Transaction Protocol Analysis

Chen, Q., Zhang, C., Zhang, S. (2008)

The application of formal methods to security protocol analysis has attracted increasing attention in the past two decades, and recently has been sh- ing signs of new maturity and …

Available Formats: Softcover eBook

previous Page is not a valid page number. Please enter a number between and . of 1
Apress A-Z
  • Apple & iOS
  • ASP.NET
  • Big Data & Analytics
  • Business
  • Databases
  • Enterprise Software
  • Game Development
  • Graphics
  • Hardware & Maker
  • Java
  • Machine Learning
  • Microsoft & .NET
  • Mobile
  • Networking & Cloud
  • Open Source
  • Programming
  • Publishing Partners
  • Python
  • Security
  • Web Development
  • Publishing Partners
Services
  • About Us
  • Academics
  • Affiliate Program
  • Book Reviewers
  • Corporate Sales
  • Customer Support
  • Events
  • News & Newsletter
  • Rights & Permissions
  • Source Code
  • Submit Errata
  • Technical Reviewers
  • User Groups
Write for Us
  • Write
  • Submit a proposal
  • Publishing process
  • Documents for Current Authors
Company
  • About Us
  • Blog
  • Events
  • FAQ
  • News
  • Publishing Partners
  • Contact Us
  • Team
 
¶ ¢ “ ¡
  • Manage Cookies/Do Not Sell My Data
  • Terms & Conditions
  • Privacy Policy
  • © 2021 Apress is part of Springer Nature
  • California Privacy Statement ↗
  • 1
  • 2
  • 3
  • 4
  • 5