Autonomic and Trusted Computing
8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011, Proceedings
Published on 19. August 2011
XII, 259 pages
978-3-642-23496-5 (ISBN)
Description
This book constitutes the refereed proceedings of the 8th International Conference on Autonomic and Trusted Computing, ATC 2011, held in Banff, Canada, September 2011.
The 17 revised full papers presented together with 1 keynote speech were carefully reviewed and selected from numerous submissions. The papers address all current issues in autonomic architectures, models and systems, autonomic communications, trusted and secure computing, reliable, secure and trust applications.
The 17 revised full papers presented together with 1 keynote speech were carefully reviewed and selected from numerous submissions. The papers address all current issues in autonomic architectures, models and systems, autonomic communications, trusted and secure computing, reliable, secure and trust applications.
More details
Other editions
Additional editions
Jose M. Alcaraz Calero | Laurence T. Yang | Felix Gomez-Marmol
Autonomic and Trusted Computing
8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011, Proceedings
Book
08/2011
1st Edition
Springer
€53.49
Shipment within 7-9 days
Content
- 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
