Distributed Computing and Internet Technology
8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings
Erschienen am 21. Februar 2012
XI, 277 Seiten
978-3-642-28073-3 (ISBN)
Beschreibung
This book constitutes the refereed proceedings of the 8th International Conference on Distributed Computing and Internet Technology, ICDCIT 2012, held in Bhubaneswar, India, in February 2012. The 17 full papers presented together with 15 short papers in this volume were carefully reviewed and selected from 89 submissions. In addition the book contains the full versions of 6 invited talks. The papers range over a spectrum of issues related to the theme, covering theoretical foundations, computational tools, and societal applications. State of the art techniques like game theoretic ones are used by authors for analyzing conceptual problems.
Weitere Details
Weitere Ausgaben
Andere Ausgaben
Ram Ramanujam | Srini Ramaswamy
Distributed Computing and Internet Technology
8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings
Buch
01/2012
1. Auflage
Springer
53,49 €
Versand in 7-9 Tagen
Inhalt
- Title
- Preface
- Organization
- Table of Contents
- Usable Mobile Security
- Introduction
- Example Problems Needing Usable Mobile Security Solutions
- Mobility Can Help Security/Privacy
- Conclusions
- References
- Actor-Network Procedures (Extended Abstract)
- Introduction
- Related Work
- Actor-Network Model
- Formalizing Actor-Networks
- Example: An Actor-Network for Two Factor Authentication
- Actor-Network Processes
- Computation and Communication
- Formalizing Data as Terms
- Formalizing Events and Processes
- Formalizing Flows, Runs and Procedures
- Examples of Procedures
- Procedure Derivation Logic
- The Language of PDL
- Communication Axioms
- Authentication Axioms
- Examples of Reasoning in PDL
- On the Diagrammatic Method
- Cryptographic (Single-Factor) Authentication
- Pervasive (Two-Factor) Authentication
- Conclusion
- References
- Knowledge as a Window into Distributed Coordination
- Introduction
- The Knowledge Framework
- Sketch of the Model
- Nested Knowledge and Linear Coordination
- Discussion and Further Directions
- References
- Decision Making as Optimization in Multi-robot Teams
- Introduction
- Background: Types of Multi-robot Interaction
- Decision Making as Optimization
- Optimization in Task Allocation
- Optimization in Path Planning
- Optimization in Formation Control
- Optimization in Target Tracking/Observation
- Conclusions
- References
- Mstar : A New Two Level Interconnection Network
- Introduction
- Proposed Architecture
- Star Graph
- Metacube Network
- Metastar Network
- Illustration
- Topological Properties
- Nodes
- Node Degree
- Number of Links or Edges
- Illustration
- Diameter
- Cost
- Bisection Width
- Average Node Distance
- Routing and Broadcasting
- Hamiltonian Properties of Metastar
- Routing in Metastar
- Illustration
- Broadcasting
- Performance Analysis
- Conclusion
- References
- An Improved Scheme for False Data Filtering in Wireless Sensor Networks
- Introduction
- Hash-Based Short Signature
- Setup
- Key-Pair Generation
- Signature Generation
- Signature Verification
- Yu and Guan's Scheme
- Key Predistribution
- Key Dissemination
- Report Forwarding
- Yu and Guan's Modified Scheme
- The Proposed Scheme
- Setup
- Key-Pair Generation
- Key Dissemination
- Report Forwarding Phase
- Analysis
- Security Analysis
- Performance Analysis
- Conclusion
- References
- Anonymity and Security in Mobile Ad Hoc Networks
- Introduction
- Related Work
- Terminology
- Modified New Variant ElGamal Signature Scheme (MNES)
- A Discussion on Existing Works
- Unconditionally Secure Privacy Preserving MAC (PPMAS)
- The Proposed PPMAS Scheme
- Verification of PPMAS
- Security Analysis
- The Proposed Privacy Preserving Communication Protocol
- Network Assumption
- Anonymous Communication among Ordinary Nodes and Special Nodes with in Local MANET
- Dynamic Local MANET Formation
- Anonymous Communications between Two Arbitrary Special Nodes
- Anonymous Communication between Two Arbitrary Ordinary Nodes
- Security Analysis
- Anonymity
- Impersonation Attacks
- Message Replay Attacks
- Performance Analysis
- Conclusion
- References
- Circle Formation by Asynchronous Fat Robots with Limited Visibility
- Introduction
- Earlier Works
- Circle Formation by Asynchronous Fat Robots with Limited Visibility
- Underlying Model
- Overview of the Problem
- Destination Computation
- Circle Formation Algorithm
- Conclusion
- References
- High Concurrency for Continuously Evolving OODBMS
- Introduction
- Basic Semantics and Literature Survey
- Basic Semantics
- Existing Works
- Proposed Scheme
- Locking Scheme
- Lock Semantics
- Performance Analysis
- Conclusion
- References
- A New Scheme for IPv6 BD-TTCS Translator
- Introduction
- Proposed Methodology
- BD-TTCS Frame-Work
- Diminution Tree Model with List Ranking Based Transition of IPv4/IPv6Algorithm in BD-TTCS
- List Ranking Methodology in BD-TTCS Translator
- The Division and Merging Process in Transmission of IPv6 Packets over BD-TTCS Translator
- Performance Evaluation Metrics
- Round Trip Time(RTT)(Latency)
- Packet Loss
- Jitter
- End-to- End Delay
- Simulation Results
- Conclusions
- References
- Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives
- Introduction
- Preliminaries
- Timed Automata (TA)
- Weighted Timed Automata (WTA)
- Deterministic Two Counter Machines
- Timed Games
- Nash Equilibrium (NE)
- Existence of Nash Equilibrium
- Decidability of NE Existence with 1 Clock
- Simple Profiles
- The Number of Simple Profiles
- Algorithm to Calculate Simple NE
- References
- Parallelization of PageRank on Multicore Processors
- Introduction
- Related Work
- Background
- Multicore Processors
- PageRank
- Implementation Method
- Implementation of PageRank on Cell BE Processor
- Implementation of PageRank on CUDA
- Results
- Conclusion and Future Work
- References
- Cryptanalysis and Improvement of Sood et al.'s Dynamic ID-Based Authentication Scheme
- Introduction
- Review of Sood et al.'s scheme
- Registration Phase
- Login Phase
- Verification and Session Key Agreement Phase
- Password Change Phase
- Cryptanalysis of Sood et al.'s Scheme
- Failure of Protecting the User's Anonymity
- Offline Password Guessing Attack
- Stolen Verifier Attack
- Our Proposed Scheme
- Registration Phase
- Login Phase
- Verification and Session Key Agreement Phase
- Password Change Phase
- Security Analysis
- Performance Analysis
- Conclusion
- Reference
- An Algebra of Social Distance
- Introduction
- Social Distance
- Social Distance Algebra
- Joining a Group
- Leading a Group
- Asymmetric Lead Association
- Group Engineering
- A Framework
- Related Work
- Conclusion
- References
- Detecting Flaws in Dynamic Hierarchical Key Management Schemes Using Specification Animation
- Introduction
- Preliminaries
- Security Definition
- Dynamic Access Control
- Descriptions of Three Schemes
- Tang Scheme
- He-Li Scheme
- Chen-Huang Scheme
- Prolog-Based Modeling
- Attack Simulation
- Conclusions
- References
- Strong Minimum Energy Minimum Interference Topology in Wireless Sensor Networks
- Introduction
- Sensor Network Model and Energy and Interference Minimization Problems
- Summary of Existing Work
- The Proposed Heuristic
- Locally Optimal Tree and the Heuristic
- Experimental Results
- Conclusion
- References
- Distributed Processing and Internet Technology to Solve Challenges of Primary Healthcare in India
- Introduction
- Primary Healthcare System, RCH Program and Its Challenges
- The Structure
- The Functions
- RCH Program
- Challenges
- Mobile Phones for Primary Healthcare
- Technical and Computational Challenges
- Field Study and mHEALTH-PHC
- System Design and Implementation
- mHEALTH-PHC
- Specific Modules for RCH
- ANM Interface
- Doctor's Interface
- Expected Outcome
- Consortium Approach for Implementation
- Conclusions and Future Work
- References
- Packet Forwarding Strategies for Cooperation Enforcement in Mobile Ad Hoc Wireless Networks
- Introduction
- Modeling Packet Forwarding as a Game
- System Model
- Strategies
- Payoff Functions
- Strategy Function
- Packet Forwarding Game
- Simulation
- Mobility Model
- Wireless Network Scenarios
- Simulation Parameters
- Result and Analysis
- Related Work
- Cooperation without Incentive Mechanisms
- Incentive Mechanisms in Ad Hoc Network
- Conclusion
- References
- A Study on Scalability of Services and Privacy Issues in Cloud Computing
- Introduction
- Server Scalability
- Towards Increased Abstraction and Automation: The Elasticity Controller
- Expressing How and When to Scale: Feeding Controller with Rules and Policies
- Scaling the Network and Platform
- Container-Level Scalability
- Database Scalability
- Privacy Architectural Options
- Privacy Manager in the Client
- Privacy Manager in a Hybrid Cloud
- Privacy Infomediary within the Cloud
- Conclusion
- References
- A Recommendation Model for Handling Dynamics in User Profile
- Introduction
- Recommendation Model
- Time Aware Frequent Pattern Mining
- Incremental Clustering
- Time Variant User Profile
- Current State of the Research
- Experiment
- Evaluation
- Dataset
- Results
- Future Work
- Conclusions
- References
- Allocation of Slotted Deadline Sensitive Leases in Infrastructure Cloud
- Introduction
- Related Work
- Default Algorithm to Handle Deadline Sensitive (DS) Leases
- Lease Description
- Proposed Algorithms
- Proposed Algorithm to Handle Deadline Sensitive Leases
- Backfilling Policy
- Experimental Setup
- Results
- Number of Accepted Leases
- CPU Utilization (%)
- Memory Utilization (%)
- Lease Acceptance Ratio
- Conclusions
- References
- Grids Security without Public Key Settings
- Summary of the Proposed Protocol
- References
- Concurrent HCM for Authorizing Grid Resources
- Reference
- Seamless Provision of Cloud Services Using Peer-to-Peer (P2P) Architecture
- References
- Distributed Fault Tolerant Estimation in Wireless Sensor Network Using Robust Diffusion Adaptation
- Introduction
- References
- Robust Distributed Block LMS over WSN in Impulsive Noise
- Introduction
- References
- Resource Allocation Techniques Based on Availability and Movement Reliability for Mobile Cloud Computing
- Introduction
- Technique for Reliable Resource Allocation
- Performance Evaluation
- Conclusion
- Transparency Computation for Work Groups
- A New Hierarchical Structure of Star Graphs and Applications
- References
- Incremental Discovery of Sequential Pattern from Semi-structured Document Using Grammatical Inference
- Group Associated Petri Nets in Bio Computing
- References
- Concept Map Based Service Specificationand Discovery
- References
- Semantic Search Using Constrained Spread Activationfor Semantic Digital Library
- Semantic Search System Implementation
- Conclusion
- Author Index
