Distributed Computing and Internet Technology

Name: Distributed Computing and Internet Technology | 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings

Ram Ramanujam Srini Ramaswamy(Herausgeber*in)

Springer (Verlag)

1. Auflage

Erschienen am 21. Februar 2012

XI, 277 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-28073-3 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

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

Systemvoraussetzungen

Als PDF speichern Als Link merken