Ditapis dengan
Service Availability
TTA Supported Service Availability -- The Value of Conformance Testing and a Look at the SAF Test Project -- Building Highly Available Application Using SA Forum Cluster: A Case Study of GGSN Application -- Using Logical Data Protection and Recovery to Improve Data Availability -- Contract-Based Web Service Composition Framework with Correctness Guarantees -- Practical Approach to Specification…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320180
- Deskripsi Fisik
- VIII, 216 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Service Availability
ISAS 2004 -- Architecture of Highly Available Databases -- Data Persistence in Telecom Switches -- Distributed Redundancy or Cluster Solution? An Experimental Evaluation of Two Approaches for Dependable Mobile Internet Services -- OpenHPI: An Open Source Reference Implementation of the SA Forum Hardware Platform Interface -- Quality of Service Control by Middleware -- Benefit Evaluation of High…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540302254
- Deskripsi Fisik
- X, 218 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Self-Stabilizing Systems
Snap-Stabilizing Optimal Binary Search Tree -- Synchronous vs. Asynchronous Unison -- A Snap-Stabilizing DFS with a Lower Space Requirement -- Self-stabilization of Byzantine Protocols -- Self-stabilization with r-Operators Revisited -- Self-stabilization Preserving Compiler -- Self-stabilizing Mobile Node Location Management and Message Routing -- Memory Management for Self-stabilizing Operati…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540321231
- Deskripsi Fisik
- X, 229 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Selected Areas in Cryptography
Stream Cipher Cryptanalysis -- An Improved Correlation Attack on A5/1 -- Extending the Resynchronization Attack -- A New Simple Technique to Attack Filter Generators and Related Ciphers -- Side-Channel Analysis -- On XTR and Side-Channel Analysis -- Provably Secure Masking of AES -- Block Cipher Design -- Perfect Diffusion Primitives for Block Ciphers -- Security of the MISTY Structure in the L…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305644
- Deskripsi Fisik
- XI, 354 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Security Protocols
Where Have All the Protocols Gone? -- A Protocol’s Life After Attacks... -- A Protocol’s Life After Attacks... -- Towards Flexible Credential Negotiation Protocols -- Towards Flexible Credential Negotiation Protocols -- Man-in-the-Middle in Tunnelled Authentication Protocols -- Man-in-the-Middle in Tunnelled Authentication Protocols -- Towards a Framework for Autonomic Security Protocols --…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318361
- Deskripsi Fisik
- X, 354 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Security in Pervasive Computing
Invited Talk (Abstract) -- Pervasive Computing – A Case for the Precautionary Principle? -- Session 1: Smart Devices and Applications -- TENeT: A Framework for Distributed Smartcards -- P2P Digital Value Fair Trading System Using Smart Cards -- “Devices Are People Too” Using Process Patterns to Elicit Security Requirements in Novel Domains: A Ubiquitous Healthcare Example -- Invited Talk …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320043
- Deskripsi Fisik
- XI, 239 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Security in Communication Networks
Invited Talk -- ECRYPT: The Cryptographic Research Challenges for the Next Decade -- Reduction of Security/Primitives -- Relationships Between Diffie-Hellman and “Index Oracles” -- On the Security Notions for Public-Key Encryption Schemes -- Efficient Unconditional Oblivious Transfer from Almost Any Noisy Channel -- Signature Schemes -- A Provably Secure Short Transitive Signature Scheme fr…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305989
- Deskripsi Fisik
- XII, 388 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Security in Ad-hoc and Sensor Networks
New Research Challenges for the Security of Ad Hoc and Sensor Networks -- Public Key Cryptography in Sensor Networks—Revisited -- Exploring Message Authentication in Sensor Networks -- Secure Initialization in Single-Hop Radio Networks -- Some Methods for Privacy in RFID Communication -- Ring Signature Schemes for General Ad-Hoc Access Structures -- Linking Ad Hoc Charging Schemes to AAAC Arc…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540304968
- Deskripsi Fisik
- VIII, 231 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Security and Privacy in Ad-hoc and Sensor Networks
Efficient Verifiable Ring Encryption for Ad Hoc Groups -- SKiMPy: A Simple Key Management Protocol for MANETs in Emergency and Rescue Operations -- Remote Software-Based Attestation for Wireless Sensors -- Spontaneous Cooperation in Multi-domain Sensor Networks -- Authenticated Queries in Sensor Networks -- Improving Sensor Network Security with Information Quality -- One-Time Sensors: A Novel …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316152
- Deskripsi Fisik
- VIII, 219 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Secure Systems Development with UML
Prologue -- Walk-through: Using UML for Security -- Background -- Developing Secure Systems -- Model-based Security Engineering with UML -- Applications -- Tool Support -- Tool support for UMLsec -- A Formal Foundation -- Formal Systems Development with UML -- Epilogue -- Further Material -- Outlook.Attacks against computer systems can cause considerable economic or physical damage. High-qualit…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540264941
- Deskripsi Fisik
- XX, 316 p. 79 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah