Opening book details…
Can I read Secure Transaction Protocol Analysis: Models and Applications (Lecture Notes in Computer Science, 5111) on EtoBox?
Secure Transaction Protocol Analysis: Models and Applications (Lecture Notes in Computer Science, 5111) by Qingfeng Chen; Chengqi Zhang; Shichao Zhang is a computer science book available to read on EtoBox.
What is Secure Transaction Protocol Analysis: Models and Applications (Lecture Notes in Computer Science, 5111) about?
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 consolidation. The development of these formal methodsismotivatedbythehostilenatureofsomeaspectsofthenetworkand the persistent e?orts of intruders, and has been widely discussed among - searchers in this ?eld. Contributions to the investigation of novel and e?cient ideas and techniques have been made through some impor
Who reads Secure Transaction Protocol Analysis: Models and Applications (Lecture Notes in Computer Science, 5111)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Qingfeng Chen; Chengqi Zhang; Shichao Zhang
- Publisher
- Springer Berlin Heidelberg : Imprint: Springer
- Published
- 2008
- Language
- EN
- ISBN
- 9783540850748
- Category
- computer science
- Subjects
- Computer Science, Science, Storage & Retrieval
- Updated
- 2026-03-25
More by Qingfeng Chen; Chengqi Zhang; Shichao Zhang
Browse all works by Qingfeng Chen; Chengqi Zhang; Shichao Zhang
Similar books
- Formal Concept Analysis: Foundations and Applications (Lecture Notes in Computer Science, 3626) — Rudolf Wille (auth.), Bernhard Ganter, Gerd Stumme, (2005)
- [email protected]: Foundations, Applications, And Roadmaps (lecture Notes In Computer Science) — Nelly Bencomo, Robert France, Betty H. C. Cheng, Uwe Aßmann (2014)
- Constrained Global Optimization: Algorithms and Applications (Lecture Notes in Computer Science (268)) — Panos M. Pardalos, J. Ben Rosen (1987)
- Reflection and Software Engineering (Lecture Notes in Computer Science, 1826) — Walter Cazzola, Andrea Sosio, Francesco Tisato (auth.), Walter Cazzola, Robert J. Stroud, (2000)
- Exercises In Computer Systems Analysis (lecture Notes In Computer Science) — Prof. Dr. W. Everling (auth.) (1975)
- The Smart Internet: Current Research And Future Applications (lecture Notes In Computer Science) — Joanna W. Ng, Mark Chignell, James R. Cordy, Yelena Yesha (auth.), (2010)