Advances in Information and Computer Security
6th International Workshop on Security, IWSEC 2011, Tokyo, Japan, November 8-10, 2011. Proceedings
Published on 23. October 2011
XII, 231 pages
978-3-642-25141-2 (ISBN)
Description
This book constitutes the refereed proceedings of the 6th International Workshop on Security, IWSEC 2011, held in Tokyo, Japan, in November 2011. The 14 revised full papers presented in this volume were carefully reviewed and selected from 45 submissions. They address all current issues in information and computer security such as foundations of security, security in networks and ubiquitous computing systems, and security in real life applications. The papers are organized in topical sections on software protection and reliability; cryptographic protocol; pairing and identity based signature; malware detection; mathematical and symmetric cryptography; public key encryption.
More details
Other editions
Additional editions
Tetsu Iwata | Masakatsu Nishigaki
Advances in Information and Computer Security
6th International Workshop on Security, IWSEC 2011, Tokyo, Japan, November 8-10, 2011. Proceedings
Book
11/2011
Springer
€53.49
Shipment within 7-9 days
Content
- Title
- Preface
- Table of Contents
- Software Protection and Reliability
- A New Soft Decision Tracing Algorithm for Binary Fingerprinting Codes
- Introduction
- Preliminaries
- Probabilistic Fingerprinting Code
- Attack Model
- Conventional Tracing Algorithm
- Proposed Tracing Algorithm
- Channel Estimation
- Correlation Score
- Threshold
- Equalization of Probability
- Experimental Results
- Conclusion
- References
- REASSURE: A Self-contained Mechanism for Healing Software Using Rescue Points
- Introduction
- Software Self-healing Using Rescue Points
- What Is a Rescue Point?
- Rescue Point Discovery
- Rescue Point Deployment
- REASSURE Implementation
- The Pin DBI Framework
- Installing Rescue Points
- Memory Writes Logging
- Recovery from Faults
- Concurrency
- Evaluation
- Recovery from Errors
- Performance in the Absence of Errors
- Performance in the Presence of Errors
- Limitations and Future Work
- Related Work
- Conclusions
- References
- Cryptographic Protocol
- Characterization of Strongly Secure Authenticated Key Exchanges without NAXOS Technique
- Introduction
- Background
- Contributions
- Organization
- Preliminaries
- Security Definitions
- Session.
- Adversary.
- Security Experiment.
- Efficiency Definitions
- Optimality and Impossibility
- Multiplied Biclique DH Protocol and Security
- Relations among SMEN-, FHMQV, KFU1, and UP
- KFU1 Protocol
- UP Protocol
- SMEN- Protocol
- FHMQV Protocol
- Reviewing SMEN-, FHMQV, KFU1, and UP
- Efficiency Parameters
- Comparison among Existing Protocols
- Open Problems
- Conclusion
- References
- A Secure M + 1st Price Auction Protocol Based on Bit Slice Circuits
- Introduction
- Background
- Related Works
- Our Result
- Preliminaries
- The Model of Auction and Outline of Auction Protocol
- Mix and Match Protocol
- Evaluating 2-DNF Formulas on Ciphertexts
- Key Sharing
- New Efficient Auction Protocol
- Proposed M + 1st Price Auction Protocol
- Example
- Secure M + 1st Price Auction Using 2-DNF Scheme and Mix-and-Match Protocol
- Security
- Comparison of Auction Protocols
- Conclusion
- References
- Pairing and Identity-Based Signature
- Cryptographic Pairings Based on Elliptic Nets
- Introduction
- Mathematical Preliminaries
- Pairings
- Elliptic Nets
- The Main Results
- Normalization of Elliptic Nets
- Elliptic Net-Based Pairings
- Implementation
- Conclusion
- References
- Identity-Based Deterministic Signature Scheme without Forking-Lemma
- Introduction
- Preliminaries
- Identity Based Signature Scheme
- Definition
- Security Model for Existential Unforgeability
- Existing Identity Based Signatures
- Basic Signature Scheme (BasicSign)
- Security
- Identity Based Deterministic Signature Scheme (Det-IBS)
- Security
- Application to Efficient Signature Aggregation
- Conclusion
- References
- Malware Detection
- Nitro: Hardware-Based System Call Tracing for Virtual Machines
- Introduction
- Related Work
- Properties
- Implementation
- VMI Mechanisms for Trapping System Calls
- Process Identification
- Collection of System Call Data
- Discussion and Evaluation
- Performance Testing
- Comparison
- Conclusion
- References
- Taint-Exchange: A Generic System for Cross-Process and Cross-Host Taint Tracking
- Introduction
- Background and Related Work
- Dynamic Taint Tracking
- Single-Process Taint Tracking
- Cross-Process and Cross-Host Taint Tracking
- Taint-Exchange
- Design Overview
- Taint Headers
- Implementation
- The libdft Data Flow Tracking Framework
- Taint-Exchange Data Structures
- Filesystem Taint Sources
- Taint Propagation over the Network
- Cross-Process Taint Propagation
- Evaluation
- Future Work
- Conclusion
- References
- An Entropy Based Approach for DDoS Attack Detection in IEEE 802.16 Based Networks
- Introduction
- Related Works and Background
- DDoS Attack in Similar Networks
- DDoS Attack in WiMAX Networks
- DDoS Attack on WiMAX Network
- Reference Network Model
- Bandwidth Allocation for Ranging
- Attacks to BS and ASN GW
- Detection System
- Statistical Preliminaries
- Modeling the Network Traffic
- Experimental Results and Discussion
- Conclusion and Future Works
- References
- Mathematical and Symmetric Cryptography
- A Mathematical Problem for Security Analysis of Hash Functions and Pseudorandom Generators
- Introduction
- Background and Related Works
- Our Contributions, and Organization of This Paper
- Function Density Problem
- Hash Functions and Function Density Problem
- Pseudorandom Generators and Function Density Problem
- Example for Function Density Problem
- Concluding Remarks
- References
- A Theoretical Analysis of the Structure of HC-128
- Introduction
- Outline of the Contribution
- Connection to Previous Works and Motivation
- Description of HC-128
- Reconstruction of One Internal Array from Another
- First Phase: Complete PN from P
- Second Phase: Part of Q from PN
- Third Phase: Tail of Q from Its Parts
- Fourth Phase: Complete QN from Tail of Q
- Fifth Phase: Verification
- Complete State Reconstruction Algorithm and Total Complexity
- Design Modification with Respect to Known Observations
- Performance Evaluation
- Conclusion
- References
- Experimental Verification of Super-Sbox Analysis - Confirmation of Detailed Attack Complexity
- Introduction
- Specifications
- Previous Work
- Known-Key Attack on 8-Round AES
- Inbound Phase by Using the Super-Sbox
- Outbound Phase
- Tradeoff in Super-Sbox Analysis
- Algorithms for Super-Sbox Analysis with Reduced Memory
- Relationship among T, M, and D
- Time-Memory Tradeoff for Entire Inbound Phase
- Experiment
- Implementation Technique
- Experimental Results
- Concluding Remarks and Future Work
- References
- Public Key Encryption
- Towards Restricting Plaintext Space in Public Key Encryption
- Introduction
- Preliminary
- Restrictive Public Key Encryption
- Motivating Discussion
- Formal Definitions
- Constructions
- High Level Overview
- Generic Construction
- Security Analysis
- Concrete Instantiation
- Efficiency Comparison
- References
- Unforgeability of Re-Encryption Keys against Collusion Attack in Proxy Re-Encryption
- Introduction
- Preliminaries
- Bilinear Maps and Complexity Assumptions
- Unidirectional Proxy Re-Encryption
- Unidirectional Proxy Re-Encryption with Temporary Delegation
- Unforgeability of Re-Encryption Keys against Collusion Attack
- The Scheme
- Description
- Security
- The Scheme with Temporary Delegation
- Description
- Security
- Concluding Remarks
- References
- Author Index
