Ditapis dengan
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 Group Communications Over Data Networks
Typical Group Key Management Schemes -- Tree Based Key Management Schemes -- Dynamic Conferencing Schemes -- Secure Group Communications with Hierarchical Access Control -- SGC Challenges and SGC for Wireless Networks -- Concluding Remarks.This book provides a concise survey of principles and state-of-the-art techniques for secure group communications (SGC) over data networks. It offers an over…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387229713
- Deskripsi Fisik
- XIX, 172 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Secure Data Management
Encrypted Data Access -- Efficient Key Updates in Encrypted Database Systems -- Metadata Management in Outsourced Encrypted Databases -- Experiments with Queries over Encrypted Data Using Secret Sharing -- Access Control -- An Authorization Framework for Sharing Data in Web Service Federations -- User-Managed Access Control for Health Care Systems -- Specifying an Access Control Model for Ontol…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319740
- Deskripsi Fisik
- X, 246 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Scientific Engineering of Distributed Java Applications
Component-Based Design of Embedded Software: An Analysis of Design Issues -- Component-Based Design of Embedded Software: An Analysis of Design Issues -- How Design Patterns Affect Application Performance – A Case of a Multi-tier J2EE Application -- An MDA-Based Approach for Inferring Concurrency in Distributed Systems -- Task-Based Access Control for Virtual Organizations -- Self-Deployment …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318699
- Deskripsi Fisik
- X, 134 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Scientific Applications of Grid Computing
Data-Based Applications -- to OGSA-DAI Services -- Using OGSA-DQP to Support Scientific Applications for the Grid -- Mobile Agent-Based Service Provision in Distributed Data Archives -- A Proxy Service for the xrootd Data Server -- A Flexible Two-Level I/O Architecture for Grids -- Data Driven Infrastructure and Policy Selection to Enhance Scientific Applications in Grid -- BioApplications -- M…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320104
- Deskripsi Fisik
- X, 214 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Scenarios: Models, Transformations and Tools
Scenarios: Models, Transformations and Tools -- Why Timed Sequence Diagrams Require Three-Event Semantics -- Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach -- Deciding Properties of Message Sequence Charts -- Operational Semantics of Security Protocols -- Autonomous Shuttle System Case Study -- Genetic Design: Amplifying Our Ability to De…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320326
- Deskripsi Fisik
- XII, 279 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
RoboCup 2004: Robot Soccer World Cup VIII
RoboCup 2004 Overview -- RoboCup 2004 Overview -- Award Winner Papers -- Map-Based Multiple Model Tracking of a Moving Object -- UCHILSIM: A Dynamically and Visually Realistic Simulator for the RoboCup Four Legged League -- Full Papers -- CommLang: Communication for Coachable Agents -- Turning Segways into Robust Human-Scale Dynamically Balanced Soccer Robots -- A Constructive Feature Detection…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322566
- Deskripsi Fisik
- XVIII, 678 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Reliable Software Technology – Ada-Europe 2005
Applications -- ILTIS – The Legacy of a Successful Product -- A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle -- An Ada Framework for QoS-Aware Applications -- Design and Scheduling Issues -- Efficient Alternatives for Implementing Fixed-Priority Schedulers -- A New Strategy for the HRT-HOOD to Ada Mapping -- Using the AADL to Describe Distributed Applica…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316664
- Deskripsi Fisik
- XVI, 276 p.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