Ditemukan 5 dokumen yang sesuai dengan query
Konig, Hartmut
"
Part I of this book is devoted to the fundamentals of communication protocols, describing their working principles and implicitly also those of computer networks. Part II deals with the description of communication proto cols, offering an overview of the various formal methods, the essence of protocol engineering. Part III covers the protocol life cycle and the most important development stages, presenting the reader with approaches for systematic protocol design, with various verification methods, with the ...
"
Berlin: Springer-Verlag, 2012
e20409826
eBooks Universitas Indonesia Library
Ling, Dong, editor
"
This book mainly discusses how to analyze and design cryptographic protocols based on the idea of system engineering and that of the trusted freshness component. A novel freshness principle based on the trusted freshness component is presented; this principle is the basis for an efficient and easy method for analyzing the security of cryptographic protocols. The reasoning results of the new approach, when compared with the security conditions, can either establish the correctness of a ...
"
Beijing: [Higher Education Press, ], 2012
e20409957
eBooks Universitas Indonesia Library
Schneider, Thomas
"
The author offers an extensive overview of the most practical and efficient modern techniques used in the design and implementation of secure computation and related protocols. After an introduction that sets secure computation in its larger context of other privacy-enhancing technologies such as secure channels and trusted computing, he covers the basics of practically efficient secure function evaluation, circuit optimizations and constructions, hardware-assisted garbled circuit protocols, and the modular design of efficient SFE protocols ...
"
Berlin: Springer-Verlag, 2012
e20410461
eBooks Universitas Indonesia Library
Marco Di Natale, editor
"
This book offers a hands-on guide to designing, analyzing and debugging a communication infrastructure based on the controller area network (CAN) bus. It focuses on practical implementation and the implications of design choices at all level ...
"
New York: [, Springer Science+Business Media], 2012
e20418861
eBooks Universitas Indonesia Library
"
Contents :
- VoIP Security Challenges in Enterprise and Service-Provider Networks
- The Business of Voice
- CALEA and Next-Generation Networks
- The Advanced Softswitch Model: Sustainable Profitability for Carriers
- IP Management in an IP-Centric World: A Look at Financial Impacts
- Taking VoIP to the Next Level: Addressing the Needs of Incumbent
Carriers
- Status Quo and Outlook for Voice over IP
- ...
"
Chicago: International Engineering Consortium, 2004
e20451498
eBooks Universitas Indonesia Library
