Autonomic and Trusted Computing

Name: Autonomic and Trusted Computing | 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011, Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011, Proceedings

Jose M. Alcaraz Calero Laurence T. Yang Felix Gomez-Marmol Luis Javier García Villalba Andy Xiaolin Li Yan Wang(Herausgeber*in)

Springer (Verlag)

Erschienen am 19. August 2011

XII, 259 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-23496-5 (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
Keynote Speech
Enhancing OpenID through a Reputation Framework
Introduction
Problem Statement
Requirements Analysis
OpenID Enhancement
Reputation Framework
Gathering Recommendations
Dynamically Interchangeable Reputation Computation Engine
Performing the Transaction: e-Receipt
Collecting Users' Feedback
General Overview
Related Work
Conclusions and Future Work
References
Autonomic Architectures, Models and Systems
Concept of a Reflex Manager to Enhance the Planner Component of an Autonomic/Organic System
Introduction
Related Work
OCµ and the Organic Manager
Planning in OCµ
Reflex Manager
Actuator
Discussion
Summary and Outlook
References
Safe Runtime Validation of Behavioral Adaptations in Autonomic Software
Introduction
Related Work
Testing Approach
Overview
Illustrative Example
State-Based Model for SAV
Self-Testable Autonomic Components
Managers
Internal Knowledge
Resource
Test Interface
Prototype
Application Description
Setup and Experimentation
Results
Discussion
Conclusion
References
A Configurable Environment Simulation Tool for Embedded Software
Introduction
Related Works
Our Approach
Function Design
Architecture Design
Simulation Process
Simulation Monitor Method Design
Problem Description
Solution of Simulation Monitor
Simulation Monitor Result
Conclusions and Future Works
References
An Adaptive Management Mechanism for Resource Scheduling in Multiple Virtual Machine System
Introduction
Related Works
Adaptive Management Mechanism
Adaptive Management Model
Genetic Simulated Annealing Algorithm
Management Module
Experiments and Results Analysis
A Series of Experiments
Results Analysis
Conclusions
References
Virtualization with Automated Services Catalog for Providing Integrated Information Technology Infrastructure
Introduction
Bibliographic Review
Virtual Machines
Tools for Virtualization
Data Center Environment Management Tools
Services Catalog
Related Work
Proposal of the System of Requests Registration of IT Infrastructure
System Persistent Layer
System Logics
System Basic Caractheristics and Functions
System Main Outputs
Tests and Results
Testing Environment
Comparison of Results
Comparative Analysis of Costs Estimate
Conclusions
Future Work
References
Research on Modeling and Analysis of CPS
Introduction
AADL and Timed Automata
Overview of AADL
Overview of Timed Automata
Modeling
Cyber Component
Physical Component
Interactive Component
Analysis with Timed Automata Network
Transformation Rules
Analysis with UPPAAL
Case Study
Conclusion and Future Work
References
Autonomic Communications
Towards a Protocol for Autonomic Covert Communication
Introduction
Problem Formulation
Covert Communication
Communication Environment and Uncertainties
Evolution and Optimization
Autonomic Covert Communication System
Autonomic Covert Communication Protocol
Initialization
Packet Transfer and Feedback
Evaluation and Optimization
Knowledge Acquisition and Environmental Adaptation
Topics Unspecified
Simulation Results
Conclusions and Future Work
Reference
Autonomous Online Expansion Technology for Wireless Sensor Network Based Manufacturing System
Introduction
Related Works
The Architecture
Community Technology
The Community Construction Technology
Community Coordination Technology
Community Reconstruction Technology
Community Expansion Technology
Community Shrinking Technology
Simulation Result
Conclusions
References
Self-organized Message Scheduling for Asynchronous Distributed Embedded Systems
Introduction
Problem Definition and Related Work
Context
System Model
Rating Approach
Single-Segment Scheduling
DynOAA
Evaluation
Asynchronous Monitoring
Adaptation in Dynamically Changing Systems
Multi-segment Scheduling
Partial Adaptation
Multi-segment Systems
Conclusions and Future Work
References
Trusted and Secure Computing
Hierarchical-CPK-Based Trusted Computing Cryptography Scheme
Introduction
PKI-Based Trusted Computing Cryptography Scheme
CPK Introduction
HCPK-Based Trusted Computing Cryptography Scheme
Motivation for HCPK
Hierarchical Combined Public Key (HCPK)
Application of HCPK in Trusted Computing
TCM Key Architecture Based on HCPK
Cross-Domain Platform Identity Authentication Based on HCPK
Security Analysis
Attack Model and Security Definition
Security Proof
Performance Analysis
Conclusion and Future Work
References
Facilitating the Use of TPM Technologies Using the Serenity Framework
Introduction
Introduction to TPM Technology
An Introduction to the Serenity Framework
Using TPM Functionalities to Prevent Unauthorized Access to Data
Phases 1 and 2 - Setup and Encryption
Phase 3 - Data Retrieval
Capturing the TPM Solution
SERENITY Patterns
SERENITY Operation
Conclusions and Future Work
References
Spam Detection on Twitter Using Traditional Classifiers
Introduction
Background and Related Work
The Twitter Social Network
Related Work
User-Based and Content-Based Features
User-Based Features
Content-Based Features
Analysis of Collected Data
Spam Detection and Evaluations
Spam Detection
Evaluations
Conclusion
References
True Trustworthy Elections: Remote Electronic Voting Using Trusted Computing
Introduction
Related Work
Our Contribution
Structure
Preliminaries
Trusted Computing
Threshold ElGamal Cryptosystem
Threshold Signature Scheme
Anonymous Channel
Strong Designated Verifier Signature Scheme
Proof of Equality of Discrete Logarithms
Designated Verifier Re-encryption Proofs
Protocol Model
Participants
Trust Model
Threat Model
Protocol
Protocol Properties
Conclusions and Future Work
References
Reliable, Secure and Trust Applications
A Survey of Security Issues in Trust and Reputation Systems for E-Commerce
Introduction
Adversarial Goals
Exploit Victim
Destroy Victim Reputation
Attack Strategies
Bad Mouthing (BM)
Ballot-Stuffing (BS)
Sybil (SY)
Newcomer (NC)
On-Off (O2)
Conflicting Behaviour (CB)
Security Methods
Identity Verification
Member or Transaction Specific Opinion
Recommendation Reputation
Weighted Transaction Influence
Opinion Discounting
Transaction Fee
Reducing the Security Issues
Conclusion
References
Copyright Protection in P2P Networks by False Pieces Pollution
Introduction
Preliminary
Protection by False Pieces Pollution
Preparation of False Pieces
Methods of Spreading False Pieces
Simulation Results
Conclusion and Future Work
References
Detection and Classification of Different Botnet C&C Channels
Introduction
Background: C&C Channel Types and Fast Flux
Botnet Detection Approaches
Contributions
Related Work
Methodology
Data Collection
Data Processing
IRC Binary Classifier
Evaluation
Results
Discussion
Concluding Remarks
References
A Method for Constructing Fault Trees from AADL Models
Introduction
Background
Method
The Overall Method
Database Structure
Related Definitions
Trace_Route Algorithm
Attribute Algorithms
Construction of Fault Trees from Database Structure
Example
Extraction of Fault Information from AADL Models
Construction of Fault Tree from Extracted Fault Information
Correctness Analysis
Conclusion
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken