close
1.

電子ブック
ＥＢ
1. Secure Key Establishment
Kim-Kwang Raymond Choo
出版情報: Springer eBooks Computer Science , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
The Key Distribution Problem / 1.1：
Solution: Key Establishment Protocols / 1.2：
Computer Security Approach / 1.2.1：
Computational Complexity Approach / 1.2.2：
Research Objectives and Deliverables / 1.2.3：
Structure of Book and Contributions to Knowledge / 1.3：
References
Background Materials / 2：
Mathematical Background / 2.1：
Abstract Algebra and the Main Groups / 2.1.1：
Bilinear Maps from Elliptic Curve Pairings / 2.1.2：
Computational Problems and Assumptions / 2.1.3：
Cryptographic Tools / 2.1.4：
Encryption Schemes: Asymmetric Setting / 2.1.4.1：
Encryption Schemes: Symmetric Setting / 2.1.4.2：
Digital Signature Schemes / 2.1.4.3：
Message Authentication Codes / 2.1.4.4：
Cryptographic Hash Functions / 2.1.4.5：
Random Oracles / 2.1.4.6：
Key Establishment Protocols and their Basis / 2.2：
Protocol Architectures / 2.2.1：
Existing Cryptographic Keys / 2.2.1.1：
Method of Session Key Generation / 2.2.1.2：
Number of Entities / 2.2.1.3：
Protocol Goals and Attacks / 2.2.2：
Protocol Goals / 2.2.2.1：
Additional Security Attributes / 2.2.2.2：
Types of Attacks / 2.2.2.3：
A Need for Rigorous Treatment / 2.2.2.4：
The Computational Complexity Approach / 2.3：
Adversarial Powers / 2.3.1：
Definition of Freshness / 2.3.2：
Definition of Security / 2.3.3：
The Bellare-Rogaway Models / 2.3.4：
The BR93 Model / 2.3.4.1：
The BR95 Model / 2.3.4.2：
The BPR2000 Model / 2.3.4.3：
The Canetti-Krawczyk Model / 2.3.5：
Protocol Security / 2.3.6：
Summary / 2.4：
A Flawed BR95 Partnership Function / 3：
A Flaw in the Security Proof for 3PKD Protocol / 3.1：
The 3PKD Protocol / 3.1.1：
Key Replicating Attack on 3PKD Protocol / 3.1.2：
The Partner Function used in the BR95 Proof / 3.1.3：
A Revised 3PKD Protocol in Bellare-Rogaway Model / 3.2：
Defining SIDs in the 3PKD Protocol / 3.2.1：
An Improved Provably Secure 3PKD Protocol / 3.2.2：
Security Proof for the Improved 3PKD Protocol / 3.2.3：
Adaptive MAC Forger F / 3.2.3.1：
Multiple Eavesdropper Attacker ME / 3.2.3.2：
Conclusion of Proof / 3.2.3.3：
On The Key Sharing Requirement / 3.3：
Bellare-Rogaway 3PKD Protocol in CK2001 Model / 4.1：
New Attack on 3PKD Protocol / 4.1.1：
A New Provably-Secure 3PKD Protocol in CK2001 Model / 4.1.3：
Jeong-Katz-Lee Protocol JP2 / 4.2：
Protocol JP2 / 4.2.1：
New Attack on Protocol JP2 / 4.2.2：
An Improved Protocol JP2 / 4.2.3：
The Key Sharing Requirement / 4.3：
Comparison of Bellare-Rogaway and Canetti-Krawczyk Models / 4.4：
Relating The Notions of Security / 5.1：
Proving BR93 (EA+KE) to BPR2000 (EA+KE) / 5.1.1：
Proof for the key establishment goal / 5.1.1.1：
Proof for the entity authentication goal / 5.1.1.2：
Proving CK2001 to BPR2000 (KE) / 5.1.2：
Proving CK2001 to BR93 (KE) / 5.1.3：
BR93 (KE) to BR95 and BR93 (KE), CK2001 [not left arrow] BR95 / 5.1.4：
BR93 (KE)/CK2001 [not left arrow] BPR2000 (KE) / 5.1.5：
CK2001 [not left arrow] BR93 (EA+KE) / 5.1.6：
BR93 (KE) [not left arrow] CK2001 / 5.1.7：
BPR200 (KE) [not left arrow] BR95 / 5.1.8：
A Drawback in the BPR2000 Model / 5.2：
Case Study: Abdalla-Pointcheval 3PAKE / 5.2.1：
Unknown Key Share Attack on 3PAKE / 5.2.2：
An Extension to the Bellare-Rogaway Model / 5.3：
A Provably-Secure Revised Protocol of Boyd / 6.1：
Secure Authenticated Encryption Schemes / 6.1.1：
Revised Protocol of Boyd / 6.1.2：
Security Proof / 6.1.3：
Integrity attacker / 6.1.3.1：
Confidentiality attacker / 6.1.3.2：
Conclusion of Security Proof / 6.1.3.3：
An Extension to the BR93 Model / 6.2：
An Efficient Protocol in Extended Model / 6.3：
An Efficient Protocol / 6.3.1：
Integrity Breaker / 6.3.2：
Confidentiality Breaker / 6.3.2.2：
Comparative Security and Efficiency / 6.3.2.3：
A Proof of Revised Yahalom Protocol / 6.5：
The Yahalom Protocol and its Simplified Version / 7.1：
A New Provably-Secure Protocol / 7.2：
Proof for Protocol 7.2 / 7.2.1：
Conclusion of Proof for Theorem 7.2.1 / 7.2.1.1：
An Extension to Protocol 7.2 / 7.2.2：
Partnering Mechanism: A Brief Discussion / 7.3：
Errors in Computational Complexity Proofs for Protocols / 7.4：
Boyd-Gonzalez Nieto Protocol / 8.1：
Unknown Key Share Attack on Protocol / 8.1.1：
An Improved Conference Key Agreement Protocol / 8.1.2：
Limitations of Existing Proof / 8.1.3：
Jakobsson-Pointcheval MAKEP / 8.2：
Unknown Key Share Attack on JP-MAKEP / 8.2.1：
Flaws in Existing Security Proof for JP-MAKEP / 8.2.2：
Wong-Chan MAKEP / 8.3：
A New Attack on WC-MAKEP / 8.3.1：
Preventing the Attack / 8.3.2：
Flaws in Existing Security Proof for WC-MAKEP / 8.3.3：
An MT-Authenticator / 8.4：
Encryption-Based MT-Authenticator / 8.4.1：
Flaw in Existing Security Proof Revealed / 8.4.2：
Addressing the Flaw / 8.4.3：
An Example Protocol as a Case Study / 8.4.4：
On Session Key Construction / 8.5：
Chen-Kudla ID-Based Protocol / 9.1：
The ID-Based Protocol / 9.1.1：
Existing Arguments on Restriction of Reveal Query / 9.1.2：
Improved Chen-Kudla Protocol / 9.1.3：
Security Proof for Improved Chen-Kudla Protocol / 9.1.4：
McCullagh-Barreto 2P-IDAKA Protocol / 9.2：
The 2P-IDAKA Protocol / 9.2.1：
Why Reveal Query is Restricted / 9.2.2：
Errors in Existing Proof for 2P-IDAKA Protocol / 9.2.3：
Error 1 / 9.2.3.1：
Error 2 / 9.2.3.2：
Improved 2P-IDAKA Protocol / 9.2.4：
A Proposal for Session Key Construction / 9.3：
Another Case Study / 9.4：
Reflection Attack on Lee-Kim-Yoo Protocol / 9.4.1：
Complementing Computational Protocol Analysis / 9.4.2：
The Formal Framework / 10.1：
Analysing a Provably-Secure Protocol / 10.2：
Protocol Specification / 10.2.1：
Initial State of Protocol 10.1 / 10.2.1.1：
Step 1 of Protocol 10.1 / 10.2.1.2：
A Malicious State Transition / 10.2.1.3：
Protocol Analysis / 10.2.2：
Hijacking Attack / 10.2.2.1：
New Attack 1 / 10.2.2.2：
New Attack 2 / 10.2.2.3：
Analysing Another Two Protocols With Claimed Proofs of Security / 10.3：
Analysis of Protocol 10.2 / 10.3.1：
Analysis of Protocol 10.3 / 10.3.1.2：
Flaws in Refuted Proofs / 10.3.2：
A Possible Fix / 10.3.3：
Analysing Protocols with Heuristic Security Arguments / 10.4：
Case Studies / 10.4.1：
Jan-Chen Mutual Protocol / 10.4.1.1：
Yang-Shen-Shieh Protocol / 10.4.1.2：
Kim-Huh-Hwang-Lee Protocol / 10.4.1.3：
Lin-Sun-Hwang Key Protocols MDHEKE I and II / 10.4.1.4：
Yeh-Sun Key Protocol / 10.4.1.5：
Protocol Analyses / 10.4.2：
Protocol Analysis 1 / 10.4.2.1：
Protocol Analysis 2 / 10.4.2.2：
Protocol Analysis 3 / 10.4.2.3：
Protocol Analysis 4 / 10.4.2.4：
Protocol Analysis 5 / 10.4.2.5：
Protocol Analysis 6 / 10.4.2.6：
Protocol Analysis 7 / 10.4.2.7：
An Integrative Framework to Protocol Analysis and Repair / 10.5：
Case Study Protocol / 11.1：
Proposed Integrative Framework / 11.2：
Protocols Specification / 11.2.1：
Defining SIDs in Protocol 11.1 / 11.2.1.1：
Description of Goal State / 11.2.1.2：
Description of Possible Actions / 11.2.1.3：
Protocols Analysis / 11.2.2：
Protocol Repair / 11.2.3：
Conclusion and Future Work / 11.3：
Research Summary / 12.1：
Open Problems and Future Directions / 12.2：
Index
Introduction / 1：
The Key Distribution Problem / 1.1：
Solution: Key Establishment Protocols / 1.2：
2.

電子ブック
ＥＢ
2. Secure Key Establishment
Kim-Kwang Raymond Choo
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
The Key Distribution Problem / 1.1：
Solution: Key Establishment Protocols / 1.2：
Computer Security Approach / 1.2.1：
Computational Complexity Approach / 1.2.2：
Research Objectives and Deliverables / 1.2.3：
Structure of Book and Contributions to Knowledge / 1.3：
References
Background Materials / 2：
Mathematical Background / 2.1：
Abstract Algebra and the Main Groups / 2.1.1：
Bilinear Maps from Elliptic Curve Pairings / 2.1.2：
Computational Problems and Assumptions / 2.1.3：
Cryptographic Tools / 2.1.4：
Encryption Schemes: Asymmetric Setting / 2.1.4.1：
Encryption Schemes: Symmetric Setting / 2.1.4.2：
Digital Signature Schemes / 2.1.4.3：
Message Authentication Codes / 2.1.4.4：
Cryptographic Hash Functions / 2.1.4.5：
Random Oracles / 2.1.4.6：
Key Establishment Protocols and their Basis / 2.2：
Protocol Architectures / 2.2.1：
Existing Cryptographic Keys / 2.2.1.1：
Method of Session Key Generation / 2.2.1.2：
Number of Entities / 2.2.1.3：
Protocol Goals and Attacks / 2.2.2：
Protocol Goals / 2.2.2.1：
Additional Security Attributes / 2.2.2.2：
Types of Attacks / 2.2.2.3：
A Need for Rigorous Treatment / 2.2.2.4：
The Computational Complexity Approach / 2.3：
Adversarial Powers / 2.3.1：
Definition of Freshness / 2.3.2：
Definition of Security / 2.3.3：
The Bellare-Rogaway Models / 2.3.4：
The BR93 Model / 2.3.4.1：
The BR95 Model / 2.3.4.2：
The BPR2000 Model / 2.3.4.3：
The Canetti-Krawczyk Model / 2.3.5：
Protocol Security / 2.3.6：
Summary / 2.4：
A Flawed BR95 Partnership Function / 3：
A Flaw in the Security Proof for 3PKD Protocol / 3.1：
The 3PKD Protocol / 3.1.1：
Key Replicating Attack on 3PKD Protocol / 3.1.2：
The Partner Function used in the BR95 Proof / 3.1.3：
A Revised 3PKD Protocol in Bellare-Rogaway Model / 3.2：
Defining SIDs in the 3PKD Protocol / 3.2.1：
An Improved Provably Secure 3PKD Protocol / 3.2.2：
Security Proof for the Improved 3PKD Protocol / 3.2.3：
Adaptive MAC Forger F / 3.2.3.1：
Multiple Eavesdropper Attacker ME / 3.2.3.2：
Conclusion of Proof / 3.2.3.3：
On The Key Sharing Requirement / 3.3：
Bellare-Rogaway 3PKD Protocol in CK2001 Model / 4.1：
New Attack on 3PKD Protocol / 4.1.1：
A New Provably-Secure 3PKD Protocol in CK2001 Model / 4.1.3：
Jeong-Katz-Lee Protocol JP2 / 4.2：
Protocol JP2 / 4.2.1：
New Attack on Protocol JP2 / 4.2.2：
An Improved Protocol JP2 / 4.2.3：
The Key Sharing Requirement / 4.3：
Comparison of Bellare-Rogaway and Canetti-Krawczyk Models / 4.4：
Relating The Notions of Security / 5.1：
Proving BR93 (EA+KE) to BPR2000 (EA+KE) / 5.1.1：
Proof for the key establishment goal / 5.1.1.1：
Proof for the entity authentication goal / 5.1.1.2：
Proving CK2001 to BPR2000 (KE) / 5.1.2：
Proving CK2001 to BR93 (KE) / 5.1.3：
BR93 (KE) to BR95 and BR93 (KE), CK2001 [not left arrow] BR95 / 5.1.4：
BR93 (KE)/CK2001 [not left arrow] BPR2000 (KE) / 5.1.5：
CK2001 [not left arrow] BR93 (EA+KE) / 5.1.6：
BR93 (KE) [not left arrow] CK2001 / 5.1.7：
BPR200 (KE) [not left arrow] BR95 / 5.1.8：
A Drawback in the BPR2000 Model / 5.2：
Case Study: Abdalla-Pointcheval 3PAKE / 5.2.1：
Unknown Key Share Attack on 3PAKE / 5.2.2：
An Extension to the Bellare-Rogaway Model / 5.3：
A Provably-Secure Revised Protocol of Boyd / 6.1：
Secure Authenticated Encryption Schemes / 6.1.1：
Revised Protocol of Boyd / 6.1.2：
Security Proof / 6.1.3：
Integrity attacker / 6.1.3.1：
Confidentiality attacker / 6.1.3.2：
Conclusion of Security Proof / 6.1.3.3：
An Extension to the BR93 Model / 6.2：
An Efficient Protocol in Extended Model / 6.3：
An Efficient Protocol / 6.3.1：
Integrity Breaker / 6.3.2：
Confidentiality Breaker / 6.3.2.2：
Comparative Security and Efficiency / 6.3.2.3：
A Proof of Revised Yahalom Protocol / 6.5：
The Yahalom Protocol and its Simplified Version / 7.1：
A New Provably-Secure Protocol / 7.2：
Proof for Protocol 7.2 / 7.2.1：
Conclusion of Proof for Theorem 7.2.1 / 7.2.1.1：
An Extension to Protocol 7.2 / 7.2.2：
Partnering Mechanism: A Brief Discussion / 7.3：
Errors in Computational Complexity Proofs for Protocols / 7.4：
Boyd-Gonzalez Nieto Protocol / 8.1：
Unknown Key Share Attack on Protocol / 8.1.1：
An Improved Conference Key Agreement Protocol / 8.1.2：
Limitations of Existing Proof / 8.1.3：
Jakobsson-Pointcheval MAKEP / 8.2：
Unknown Key Share Attack on JP-MAKEP / 8.2.1：
Flaws in Existing Security Proof for JP-MAKEP / 8.2.2：
Wong-Chan MAKEP / 8.3：
A New Attack on WC-MAKEP / 8.3.1：
Preventing the Attack / 8.3.2：
Flaws in Existing Security Proof for WC-MAKEP / 8.3.3：
An MT-Authenticator / 8.4：
Encryption-Based MT-Authenticator / 8.4.1：
Flaw in Existing Security Proof Revealed / 8.4.2：
Addressing the Flaw / 8.4.3：
An Example Protocol as a Case Study / 8.4.4：
On Session Key Construction / 8.5：
Chen-Kudla ID-Based Protocol / 9.1：
The ID-Based Protocol / 9.1.1：
Existing Arguments on Restriction of Reveal Query / 9.1.2：
Improved Chen-Kudla Protocol / 9.1.3：
Security Proof for Improved Chen-Kudla Protocol / 9.1.4：
McCullagh-Barreto 2P-IDAKA Protocol / 9.2：
The 2P-IDAKA Protocol / 9.2.1：
Why Reveal Query is Restricted / 9.2.2：
Errors in Existing Proof for 2P-IDAKA Protocol / 9.2.3：
Error 1 / 9.2.3.1：
Error 2 / 9.2.3.2：
Improved 2P-IDAKA Protocol / 9.2.4：
A Proposal for Session Key Construction / 9.3：
Another Case Study / 9.4：
Reflection Attack on Lee-Kim-Yoo Protocol / 9.4.1：
Complementing Computational Protocol Analysis / 9.4.2：
The Formal Framework / 10.1：
Analysing a Provably-Secure Protocol / 10.2：
Protocol Specification / 10.2.1：
Initial State of Protocol 10.1 / 10.2.1.1：
Step 1 of Protocol 10.1 / 10.2.1.2：
A Malicious State Transition / 10.2.1.3：
Protocol Analysis / 10.2.2：
Hijacking Attack / 10.2.2.1：
New Attack 1 / 10.2.2.2：
New Attack 2 / 10.2.2.3：
Analysing Another Two Protocols With Claimed Proofs of Security / 10.3：
Analysis of Protocol 10.2 / 10.3.1：
Analysis of Protocol 10.3 / 10.3.1.2：
Flaws in Refuted Proofs / 10.3.2：
A Possible Fix / 10.3.3：
Analysing Protocols with Heuristic Security Arguments / 10.4：
Case Studies / 10.4.1：
Jan-Chen Mutual Protocol / 10.4.1.1：
Yang-Shen-Shieh Protocol / 10.4.1.2：
Kim-Huh-Hwang-Lee Protocol / 10.4.1.3：
Lin-Sun-Hwang Key Protocols MDHEKE I and II / 10.4.1.4：
Yeh-Sun Key Protocol / 10.4.1.5：
Protocol Analyses / 10.4.2：
Protocol Analysis 1 / 10.4.2.1：
Protocol Analysis 2 / 10.4.2.2：
Protocol Analysis 3 / 10.4.2.3：
Protocol Analysis 4 / 10.4.2.4：
Protocol Analysis 5 / 10.4.2.5：
Protocol Analysis 6 / 10.4.2.6：
Protocol Analysis 7 / 10.4.2.7：
An Integrative Framework to Protocol Analysis and Repair / 10.5：
Case Study Protocol / 11.1：
Proposed Integrative Framework / 11.2：
Protocols Specification / 11.2.1：
Defining SIDs in Protocol 11.1 / 11.2.1.1：
Description of Goal State / 11.2.1.2：
Description of Possible Actions / 11.2.1.3：
Protocols Analysis / 11.2.2：
Protocol Repair / 11.2.3：
Conclusion and Future Work / 11.3：
Research Summary / 12.1：
Open Problems and Future Directions / 12.2：
Index
Introduction / 1：
The Key Distribution Problem / 1.1：
Solution: Key Establishment Protocols / 1.2：
3.

電子ブック
ＥＢ
3. Two-Dimensional Correlation Spectroscopy - Applications in Vibrational and Optical Spectroscopy
Isao Noda, Yukihiro Ozaki, Y Ozaki
出版情報: Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Inc., 2004
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgements
Introduction / 1：
Two-dimensional Spectroscopy / 1.1：
Overview of the Field / 1.2：
Generalized Two-dimensional Correlation / 1.3：
Types of Spectroscopic Probes / 1.3.1：
External Perturbations / 1.3.2：
Heterospectral Correlation / 1.4：
Universal Applicability / 1.5：
Principle of Two-dimensional Correlation Spectroscopy / 2：
Two-dimensional Correlation Spectroscopy / 2.1：
General Scheme / 2.1.1：
Type of External Perturbations / 2.1.2：
Dynamic Spectrum / 2.2：
Two-dimensional Correlation Concept / 2.2.2：
Generalized Two-dimensional Correlation Function / 2.2.3：
Properties of 2D Correlation Spectra / 2.2.4：
Synchronous 2D Correlation Spectrum / 2.3.1：
Asynchronous 2D Correlation Spectrum / 2.3.2：
Special Cases and Exceptions / 2.3.3：
Analytical Expressions for Certain 2D Spectra / 2.4：
Comparison of Linear Functions / 2.4.1：
2D Spectra Based on Sinusoidal Signals / 2.4.2：
Exponentially Decaying Intensities / 2.4.3：
Distributed Lorentzian Peaks / 2.4.4：
Signals with more Complex Waveforms / 2.4.5：
Cross-correlation Analysis and 2D Spectroscopy / 2.5：
Cross-correlation Function and Cross Spectrum / 2.5.1：
Cross-correlation Function and Synchronous Spectrum / 2.5.2：
Hilbert Transform / 2.5.3：
Orthogonal Correlation Function and Asynchronous Spectrum / 2.5.4：
Disrelation Spectrum / 2.5.5：
Practical Computation of Two-dimensional Correlation Spectra / 3：
Computation of 2D Spectra from Discrete Data / 3.1：
Synchronous Spectrum / 3.1.1：
Asynchronous Spectrum / 3.1.2：
Unevenly Spaced Data / 3.2：
Computational Efficiency / 3.3：
Generalized Two-dimensional Correlation Spectroscopy in Practice / 4：
Practical Example / 4.1：
Solvent Evaporation Study / 4.1.1：
2D Spectra Generated from Experimental Data / 4.1.2：
Sequential Order Analysis by Cross Peak Signs / 4.1.3：
Pretreatment of Data / 4.2：
Noise Reduction Methods / 4.2.1：
Baseline Correction Methods / 4.2.2：
Other Pretreatment Methods / 4.2.3：
Features Arising from Factors other than Band Intensity Changes / 4.3：
Effect of Band Position Shift and Line Shape Change / 4.3.1：
Simulation Studies / 4.3.2：
2D Spectral Features from Band Shift and Line Broadening / 4.3.3：
Further Expansion of Generalized Two-dimensional Correlation Spectroscopy - Sample-Sample Correlation and Hybrid Correlation / 5：
Sample-Sample Correlation Spectroscopy / 5.1：
Correlation in another Dimension / 5.1.1：
Matrix Algebra Outlook of 2D Correlation / 5.1.2：
Sample-Sample Correlation Spectra / 5.1.3：
Application of Sample-Sample Correlation / 5.1.4：
Hybrid 2D Correlation Spectroscopy / 5.2：
Multiple Perturbations / 5.2.1：
Correlation between Data Matrices / 5.2.2：
Case Studies / 5.2.3：
Additional Remarks / 5.3：
Additional Developments in Two-dimensional Correlation Spectroscopy - Statistical Treatments, Global Phase Maps, and Chemometrics / 6：
Classical Statistical Treatments and 2D Spectroscopy / 6.1：
Variance, Covariance, and Correlation Coefficient / 6.1.1：
Interpretation of 2D Disrelation Spectrum / 6.1.2：
Coherence and Correlation Phase Angle / 6.1.3：
Correlation Enhancement / 6.1.4：
Global 2D Phase Maps / 6.2：
Further Discussion on Global Phase / 6.2.1：
Phase Map with a Blinding Filter / 6.2.2：
Simulation Study / 6.2.3：
Chemometrics and 2D Correlation Spectroscopy / 6.3：
Comparison between Chemometrics and 2D Correlation / 6.3.1：
Factor Analysis / 6.3.2：
Principal Component Analysis (PCA) / 6.3.3：
Number of Principal Factors / 6.3.4：
PCA-reconstructed Spectra / 6.3.5：
Eigenvalue Manipulating Transformation (EMT) / 6.3.6：
Other Types of Two-dimensional Spectroscopy / 7：
Nonlinear Optical 2D Spectroscopy / 7.1：
Ultrafast Laser Pulses / 7.1.1：
Comparison with Generalized 2D Correlation Spectroscopy / 7.1.2：
Overlap Between Generalized 2D Correlation and Nonlinear Spectroscopy / 7.1.3：
Statistical 2D Correlation Spectroscopy / 7.2：
Statistical 2D Correlation by Barton II et al. / 7.2.1：
Statistical 2D Correlation by &Sa&sic and Ozaki / 7.2.2：
Other Statistical 2D Spectra / 7.2.3：
Link to Chemometrics / 7.2.4：
Other Developments in 2D Correlation Spectroscopy / 7.3：
Moving-window Correlation / 7.3.1：
Model-based 2D Correlation Spectroscopy / 7.3.2：
Dynamic Two-di / 8：
Preface
Acknowledgements
Introduction / 1：
4.

電子ブック
ＥＢ
4. Peer-to-Peer Video Streaming
Eric Setton, Bernd Girod
出版情報: Springer eBooks Computer Science , Springer US, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Background / 2：
Video Compression / 2.1：
H.264 Video Coding / 2.1.1：
Distortion Models / 2.1.2：
Video Streaming / 2.2：
Error Resilience / 2.2.1：
Congestion Control / 2.2.2：
Path Diversity / 2.2.3：
Multicast Architectures / 2.3：
IP Multicast / 2.3.1：
Content Delivery Networks / 2.3.2：
Peer-to-Peer Systems / 2.4：
Peer-to-Peer File Transfer, the Example of BitTorrent / 2.4.1：
Peer-to-Peer Streaming / 2.4.2：
Streaming over Throughput-Limited Paths / 3：
Video Encoding for Throughput-Limited Paths / 3.1：
End-to-End Rate-Distortion Performance Model / 3.1.1：
Experimental Results / 3.1.2：
Congestion-Distortion Optimized Scheduling / 3.2：
Channel Model / 3.2.1：
Evaluating a Schedule / 3.2.2：
Randomized Schedule Search / 3.2.3：
CoDiO Light / 3.2.4：
Chapter Summary / 3.2.5：
Peer-to-Peer Control Protocol / 4：
Protocol Description / 4.1：
Different Peer States / 4.1.1：
Different Tree Connection States / 4.1.2：
Multicast Source / 4.1.3：
Protocol Settings / 4.1.4：
Experimental Protocol Evaluation / 4.2：
Experimental Setup / 4.2.1：
Control Protocol Traffic Distribution / 4.2.2：
Join and Rejoin Latency / 4.2.3：
Scalability / 4.2.4：
Limiting Throughput / 4.2.5：
Video Streaming over a Peer-to-Peer Network / 4.3：
Video Streaming Protocol / 5.1：
Video Packet Transmission / 5.1.1：
Retransmissions / 5.1.2：
Peer-to-Peer CoDiO Scheduling / 5.2：
Sender-Driven Prioritization / 5.2.1：
Distortion-Optimized Retransmission Scheduling / 5.2.2：
Scheduler Evaluation / 5.2.3：
Video Sessions / 5.3：
Diversity / 5.3.2：
CoDiO P2P / 5.3.3：
Conclusions and Future Work / 5.4：
Conclusions / 6.1：
Future Work / 6.2：
Video Experiments / A：
Encoding Structures / A.1：
Latency-Constrained Video Streaming / A.1.2：
Error-Resilient Decoding / A.1.3：
Quality Metric / A.1.4：
Video Sequences / A.2：
Container / A.2.1：
Foreman / A.2.2：
Mobile / A.2.3：
Mother & Daughter / A.2.4：
News / A.2.5：
Salesman / A.2.6：
References
Index
Introduction / 1：
Background / 2：
Video Compression / 2.1：
5.

電子ブック
ＥＢ
5. Peer-to-Peer Video Streaming
Eric Setton, Bernd Girod
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Background / 2：
Video Compression / 2.1：
H.264 Video Coding / 2.1.1：
Distortion Models / 2.1.2：
Video Streaming / 2.2：
Error Resilience / 2.2.1：
Congestion Control / 2.2.2：
Path Diversity / 2.2.3：
Multicast Architectures / 2.3：
IP Multicast / 2.3.1：
Content Delivery Networks / 2.3.2：
Peer-to-Peer Systems / 2.4：
Peer-to-Peer File Transfer, the Example of BitTorrent / 2.4.1：
Peer-to-Peer Streaming / 2.4.2：
Streaming over Throughput-Limited Paths / 3：
Video Encoding for Throughput-Limited Paths / 3.1：
End-to-End Rate-Distortion Performance Model / 3.1.1：
Experimental Results / 3.1.2：
Congestion-Distortion Optimized Scheduling / 3.2：
Channel Model / 3.2.1：
Evaluating a Schedule / 3.2.2：
Randomized Schedule Search / 3.2.3：
CoDiO Light / 3.2.4：
Chapter Summary / 3.2.5：
Peer-to-Peer Control Protocol / 4：
Protocol Description / 4.1：
Different Peer States / 4.1.1：
Different Tree Connection States / 4.1.2：
Multicast Source / 4.1.3：
Protocol Settings / 4.1.4：
Experimental Protocol Evaluation / 4.2：
Experimental Setup / 4.2.1：
Control Protocol Traffic Distribution / 4.2.2：
Join and Rejoin Latency / 4.2.3：
Scalability / 4.2.4：
Limiting Throughput / 4.2.5：
Video Streaming over a Peer-to-Peer Network / 4.3：
Video Streaming Protocol / 5.1：
Video Packet Transmission / 5.1.1：
Retransmissions / 5.1.2：
Peer-to-Peer CoDiO Scheduling / 5.2：
Sender-Driven Prioritization / 5.2.1：
Distortion-Optimized Retransmission Scheduling / 5.2.2：
Scheduler Evaluation / 5.2.3：
Video Sessions / 5.3：
Diversity / 5.3.2：
CoDiO P2P / 5.3.3：
Conclusions and Future Work / 5.4：
Conclusions / 6.1：
Future Work / 6.2：
Video Experiments / A：
Encoding Structures / A.1：
Latency-Constrained Video Streaming / A.1.2：
Error-Resilient Decoding / A.1.3：
Quality Metric / A.1.4：
Video Sequences / A.2：
Container / A.2.1：
Foreman / A.2.2：
Mobile / A.2.3：
Mother & Daughter / A.2.4：
News / A.2.5：
Salesman / A.2.6：
References
Index
Introduction / 1：
Background / 2：
Video Compression / 2.1：
6.

電子ブック
ＥＢ
6. History of Computing and Education 2 (HCE2)
John Impagliazzo
出版情報: Springer eBooks Computer Science , Springer US, 2006
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. History of Computing and Education 2 (HCE2)
John Impagliazzo
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2006
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Mental Representation and Processing of Geographic Knowledge
Thomas Barkowsky
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2002
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Mental Processing of Geographic Knowledge / 1.1：
Cognitive Maps / 1.1.1：
Mental Construction of Spatial Knowledge: An Example / 1.1.2：
Theses and Assumptions / 1.2：
Knowledge Construction and Human Memory / 1.2.1：
Characteristics of Geographic Knowledge / 1.2.2：
Spatial Knowledge Organization in Long-Term Memory / 1.2.3：
Visual Mental Images and Diagrammatic Reasoning / 1.2.4：
Research Questions and Goals / 1.3：
Research Questions / 1.3.1：
Goals / 1.3.2：
Approach: Experimental Computational Modeling / 1.4：
Computational Cognition / 1.4.1：
Building Computational Models / 1.4.2：
Modeling as Experimental Approach / 1.4.3：
Organization of this Thesis / 1.5：
State of the Art / 2：
Spatial Knowledge Conceptions: Cognitive Maps and Other Metaphors / 2.1：
Rubber Sheet Maps, Cognitive Atlases, Collages, and Geographic Information Systems / 2.1.1：
Spatial Mental Models / 2.1.3：
Other Conceptions / 2.1.4：
Human Memory / 2.2：
Working Memory / 2.2.1：
Long-Term Memory / 2.2.2：
Interacting Memory Systems in Mental Imagery / 2.2.3：
Mental Imagery / 2.3：
The Imagery Debate / 2.3.1：
Psychological and Neuroscientific Foundations / 2.3.2：
The Kosslyn Models / 2.3.3：
The 1980 Model / 2.3.3.1：
The 1994 Model / 2.3.3.2：
Spatial Reasoning / 2.4：
Topology / 2.4.1：
Orientation / 2.4.2：
Distance / 2.4.3：
Shape / 2.4.4：
Computational Geometry / 2.4.5：
Diagrammatic Reasoning / 2.5：
Propositional vs. Analogical Knowledge Representation / 2.5.1：
Types of Diagrammatic Reasoning Systems / 2.5.2：
Examples for Diagrammatic Reasoning Architectures / 2.5.3：
DEPIC-2D / 2.5.3.1：
WHISPER / 2.5.3.2：
Computational Imagery / 2.5.3.3：
Summary / 2.6：
MIRAGE - Developing the Model / 3：
Characteristics of the Model / 3.1：
Evaluating the Working Memory Representation / 3.1.1：
MIRAGE - Outline of the Model / 3.2：
Types of Entities and Spatial Relations in MIRAGE / 3.3：
Entities / 3.3.1：
Relations / 3.3.2：
Subsystems, Structures, and Processes / 3.4：
Long-Term Memory Activation / 3.4.1：
Spatial Knowledge Fragments / 3.4.1.1：
The Hierarchical Long-Term Memory Representation / 3.4.1.2：
The Access Process / 3.4.1.3：
The Activated Long-Term Memory Representation / 3.4.1.4：
The Construction Process / 3.4.1.5：
Visual Mental Image Construction / 3.4.2：
The Enriched Representation / 3.4.2.1：
The Conversion Process / 3.4.2.2：
The Visual Buffer / 3.4.2.3：
The Visualization Process / 3.4.2.4：
Image Inspection / 3.4.3：
The Inspection Result / 3.4.3.1：
The Inspection Process / 3.4.3.2：
Visual Mental Image Construction in Detail / 4：
A More Demanding Scenario / 4.1：
Diagrammatic Representations of Lean Knowledge / 4.2：
Consequences for Image Construction / 4.3：
Relaxation of Spatial Constraints / 4.3.1：
Completion of Qualitative Spatial Relations / 4.3.2：
Interpretation of Qualitative Spatial Relations / 4.3.3：
Image Revision Strategies in MIRAGE / 4.4：
Unstable Images / 4.4.1：
Omission of Facts / 4.4.2：
Revision of Relational Completion / 4.4.3：
Variation of Relational Completion / 4.4.3.1：
Relaxation of Relational Completion / 4.4.3.2：
Revision of Image Specification / 4.4.4：
Depicting Qualitative Spatial Relations / 4.4.4.1：
Depicting Unspecified Spatial Relations / 4.4.4.2：
MIRAGE Implementation / 4.5：
Computational Tools for Modeling: SIMSIS / 5.1：
The Idea of SIMSIS / 5.1.1：
The Aspect Map Model / 5.1.1.1：
Modeling Aspect Maps in SIMSIS / 5.1.1.2：
Depictions, Scenarios, and Interpretations / 5.1.2：
SIMSIS Pictures / 5.1.2.1：
SIMSIS Facts and Scenarios / 5.1.2.2：
SIMSIS Interpretations and Meaning Systems / 5.1.2.3：
Realization of the Model / 5.2：
MIRAGE Structures / 5.2.1：
Entities, Relations, and Spatial Knowledge Fragments / 5.2.1.1：
The Long-Term Memory Representations / 5.2.1.2：
MIRAGE Processes / 5.2.1.3：
The Long-Term Memory Activation Processes / 5.2.2.1：
The Image Construction Processes / 5.2.2.2：
Operation and Behavior of MIRAGE / 5.2.2.3：
Conclusion and Outlook / 6：
Results and Discussion / 6.1：
Reflecting the Theses / 6.2.1：
Spatial Knowledge Construction / 6.2.1.1：
Underdeterminacy in Long-Term Memory / 6.2.1.2：
Fragmentation and Hierarchical Organization / 6.2.1.3：
Visual Mental Imagery / 6.2.1.4：
The Parameters of the Model / 6.2.2：
Explicit Parameters / 6.2.2.1：
Implicit Parameters / 6.2.2.2：
Conclusions / 6.2.3：
Future Work / 6.3：
Extending MIRAGE / 6.3.1：
Geographic Entities and Spatial Relations / 6.3.1.1：
Partially Aggregated Knowledge Structures / 6.3.1.2：
Mental Imagery Functionality / 6.3.1.3：
Parameters of MIRAGE / 6.3.1.4：
Empirical Investigations / 6.3.2：
Use of Default Knowledge / 6.3.2.1：
Control of Image Construction / 6.3.2.2：
Processing Capacity for Mental Images / 6.3.2.3：
Use of Chunking Facilities / 6.3.2.4：
Combination of Propositional and Image-Based Reasoning / 6.3.2.5：
Application Perspectives / 6.3.3：
Adequate Presentation of Visual Information / 6.3.3.1：
External Support of Reasoning in Mental Images / 6.3.3.2：
Bibliography
Index
Introduction / 1：
Mental Processing of Geographic Knowledge / 1.1：
Cognitive Maps / 1.1.1：
9.

電子ブック
ＥＢ
9. Identifying Malicious Code Through Reverse Engineering
Abhishek Singh., Abhishek Singh, Baibhav Singh
出版情報: Springer eBooks Computer Science , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Assembly Language
Introduction / 1.0：
Registers / 1.1：
General Purpose Register / 1.1.1：
FLAGS Register / 1.1.2：
80x86 Instruction Format / 1.2：
Instruction Prefix / 1.2.1：
Lock and Repeat Prefixes / 1.2.2：
Segment Override Prefixes / 1.2.3：
Opcode / 1.2.4：
Instructions / 1.3：
Basic Instructions / 1.3.1：
Floating Point Instruction / 1.3.2：
Stack Setup / 1.4：
Passing Parameters in C to the Procedure / 1.4.1：
Local Data Space on the Stack / 1.4.2：
Calling Conventions / 1.5：
cdecl calling convention / 1.5.1：
fastcall calling convention / 1.5.2：
stdcall calling convention / 1.5.3：
thiscall / 1.5.4：
Data Constructs / 1.6：
Global Variables / 1.6.1：
Local Variables / 1.6.2：
Imported Variables / 1.6.3：
Thread Local Storage (TLS) / 1.6.5：
Executable Data Section / 1.6.6：
Representation of Arithmetic Operations in Assembly / 1.7：
Multiplication / 1.7.1：
Division / 1.7.2：
Modulo / 1.7.3：
Representation of Data Structure in Assembly / 1.8：
Representation of Array in Assembly / 1.8.1：
Representation of Linked List in Assembly / 1.8.2：
Virtual Function Call in Assembly / 1.9：
Representation of classes in Assembly / 1.9.1：
Conclusion / 1.10：
Fundamental of Windows
Memory Management / 2.0：
Virtual Memory Management / 2.1.1：
Virtual Memory Management in Windows NT / 2.1.1.1：
Impact of Hooking / 2.1.1.2：
Segmented Memory Management / 2.1.2：
Paged Memory Management / 2.1.3：
Kernel Memory and User Memory / 2.2：
Kernel Memory Space / 2.2.1：
Section Object / 2.2.2：
Virtual Address Descriptor / 2.3：
User Mode Address Space / 2.3.1：
Memory Management in Windows / 2.3.2：
Objects and Handles / 2.3.3：
Named Objects / 2.3.4：
Processes and Threads / 2.4：
Context Switching / 2.4.1：
Context Switches and Mode Switches / 2.4.1.1：
Synchronization Objects / 2.4.2：
Critical Section / 2.4.2.1：
Mutex / 2.4.2.2：
Semaphore / 2.4.2.3：
Event / 2.4.2.4：
Metered Section / 2.4.2.5：
Process Initialization Sequence / 2.5：
Application Programming Interface / 2.5.1：
Reversing Windows NT / 2.6：
ExpEchoPoolCalls / 2.6.1：
ObpShowAllocAndFree / 2.6.2：
LpcpTraceMessages / 2.6.3：
MmDebug / 2.6.4：
NtGlobalFlag / 2.6.5：
SepDumpSD / 2.6.6：
CmLogLevel and CmLogSelect / 2.6.7：
Security Features in Vista / 2.7：
Address Space Layout Randomization (ASLR) / 2.7.1：
Stack Randomization / 2.7.2：
Heap Defenses / 2.7.3：
NX / 2.7.4：
/GS / 2.7.5：
Pointer Encoding / 2.7.6：
Cryptographic API in Windows Vista / 2.7.7：
Crypto-Agility / 2.7.8：
CryptoAgility in CNG / 2.7.9：
Algorithm Providers / 2.7.10：
Random Number Generator / 2.7.11：
Hash Functions / 2.7.12：
Symmetric Encryption / 2.7.13：
Asymmetric Encryption / 2.7.14：
Signatures and Verification / 2.7.15：
Portable Executable File Format / 2.8：
PE file Format / 3.0：
Import Address Table / 3.2：
Executable and Linking Format / 3.3：
ELF Header / 3.3.1：
The Program Header Table / 3.3.2：
Reversing Binaries for Identifying Vulnerabilities / 3.4：
Stack Overflow / 4.0：
CAN-2002-1123 Microsoft SQL Server 'Hello' Authentication Buffer Overflow" / 4.1.1：
CAN-2004-0399 Exim Buffer Overflow / 4.1.2：
Stack Checking / 4.1.3：
Off-by-One Overflow / 4.2：
OpenBSD 2.7 FTP Daemon Off-by-One / 4.2.1：
Non-Executable Memory / 4.2.3：
Heap Overflows / 4.3：
Heap Based Overflows / 4.3.1：
Integer Overflows / 4.4：
Types Integer Overflow / 4.4.1：
CAN-2004-0417 CVS Max dotdot Protocol Command Integer Overflow / 4.4.2：
Format String / 4.5：
Format String Vulnerability / 4.5.1：
Format String Denial of Service Attack / 4.5.2：
Format String Vulnerability Reading Attack / 4.5.3：
SEH Structure Exception Handler / 4.6：
Exploiting the SEH / 4.6.1：
Writing Exploits General Concepts / 4.7：
Stack Overflow Exploits / 4.7.1：
Injection Techniques / 4.7.2：
Optimizing the Injection Vector / 4.7.3：
The Location of the Payload / 4.8：
Direct Jump (Guessing Offsets) / 4.8.1：
Blind Return / 4.8.2：
Pop Return / 4.8.3：
No Operation Sled / 4.8.4：
Call Register / 4.8.5：
Push Return / 4.8.6：
Calculating Offset / 4.8.7：
Fundamental of Reverse Engineering / 4.9：
Anti-Reversing Method / 5.0：
Anti Disassembly / 5.2.1：
Linear Sweep Disassembler / 5.2.1.1：
Recursive Traversal Disassembler / 5.2.1.2：
Evasion of Disassemble / 5.2.1.3：
Self Modifying Code / 5.2.2：
Virtual Machine Obfuscation / 5.2.3：
Anti Debugging Techniques / 5.3：
BreakPoints / 5.3.1：
Software Breakpoint / 5.3.1.1：
Hardware Breakpoint / 5.3.1.2：
Detecting Hardware BreakPoint / 5.3.1.3：
Virtual Machine Detection / 5.4：
Checking Fingerprint Inside Memory, File System and Registry / 5.4.1：
Checking System Tables / 5.4.2：
Checking Processor Instruction Set / 5.4.3：
Unpacking / 5.5：
Manual Unpacking of Software / 5.5.1：
Finding an Original Entry Point of an Executable / 5.5.1.1：
Taking Memory Dump / 5.5.1.2：
Import Table Reconstruction / 5.5.1.3：
Import Redirection and Code emulation / 5.5.1.4：
Appendix / 5.6：
Index
Assembly Language
Introduction / 1.0：
Registers / 1.1：
10.

電子ブック
ＥＢ
10. Identifying Malicious Code Through Reverse Engineering
Abhishek Singh., Abhishek Singh, Baibhav Singh
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Assembly Language
Introduction / 1.0：
Registers / 1.1：
General Purpose Register / 1.1.1：
FLAGS Register / 1.1.2：
80x86 Instruction Format / 1.2：
Instruction Prefix / 1.2.1：
Lock and Repeat Prefixes / 1.2.2：
Segment Override Prefixes / 1.2.3：
Opcode / 1.2.4：
Instructions / 1.3：
Basic Instructions / 1.3.1：
Floating Point Instruction / 1.3.2：
Stack Setup / 1.4：
Passing Parameters in C to the Procedure / 1.4.1：
Local Data Space on the Stack / 1.4.2：
Calling Conventions / 1.5：
cdecl calling convention / 1.5.1：
fastcall calling convention / 1.5.2：
stdcall calling convention / 1.5.3：
thiscall / 1.5.4：
Data Constructs / 1.6：
Global Variables / 1.6.1：
Local Variables / 1.6.2：
Imported Variables / 1.6.3：
Thread Local Storage (TLS) / 1.6.5：
Executable Data Section / 1.6.6：
Representation of Arithmetic Operations in Assembly / 1.7：
Multiplication / 1.7.1：
Division / 1.7.2：
Modulo / 1.7.3：
Representation of Data Structure in Assembly / 1.8：
Representation of Array in Assembly / 1.8.1：
Representation of Linked List in Assembly / 1.8.2：
Virtual Function Call in Assembly / 1.9：
Representation of classes in Assembly / 1.9.1：
Conclusion / 1.10：
Fundamental of Windows
Memory Management / 2.0：
Virtual Memory Management / 2.1.1：
Virtual Memory Management in Windows NT / 2.1.1.1：
Impact of Hooking / 2.1.1.2：
Segmented Memory Management / 2.1.2：
Paged Memory Management / 2.1.3：
Kernel Memory and User Memory / 2.2：
Kernel Memory Space / 2.2.1：
Section Object / 2.2.2：
Virtual Address Descriptor / 2.3：
User Mode Address Space / 2.3.1：
Memory Management in Windows / 2.3.2：
Objects and Handles / 2.3.3：
Named Objects / 2.3.4：
Processes and Threads / 2.4：
Context Switching / 2.4.1：
Context Switches and Mode Switches / 2.4.1.1：
Synchronization Objects / 2.4.2：
Critical Section / 2.4.2.1：
Mutex / 2.4.2.2：
Semaphore / 2.4.2.3：
Event / 2.4.2.4：
Metered Section / 2.4.2.5：
Process Initialization Sequence / 2.5：
Application Programming Interface / 2.5.1：
Reversing Windows NT / 2.6：
ExpEchoPoolCalls / 2.6.1：
ObpShowAllocAndFree / 2.6.2：
LpcpTraceMessages / 2.6.3：
MmDebug / 2.6.4：
NtGlobalFlag / 2.6.5：
SepDumpSD / 2.6.6：
CmLogLevel and CmLogSelect / 2.6.7：
Security Features in Vista / 2.7：
Address Space Layout Randomization (ASLR) / 2.7.1：
Stack Randomization / 2.7.2：
Heap Defenses / 2.7.3：
NX / 2.7.4：
/GS / 2.7.5：
Pointer Encoding / 2.7.6：
Cryptographic API in Windows Vista / 2.7.7：
Crypto-Agility / 2.7.8：
CryptoAgility in CNG / 2.7.9：
Algorithm Providers / 2.7.10：
Random Number Generator / 2.7.11：
Hash Functions / 2.7.12：
Symmetric Encryption / 2.7.13：
Asymmetric Encryption / 2.7.14：
Signatures and Verification / 2.7.15：
Portable Executable File Format / 2.8：
PE file Format / 3.0：
Import Address Table / 3.2：
Executable and Linking Format / 3.3：
ELF Header / 3.3.1：
The Program Header Table / 3.3.2：
Reversing Binaries for Identifying Vulnerabilities / 3.4：
Stack Overflow / 4.0：
CAN-2002-1123 Microsoft SQL Server 'Hello' Authentication Buffer Overflow" / 4.1.1：
CAN-2004-0399 Exim Buffer Overflow / 4.1.2：
Stack Checking / 4.1.3：
Off-by-One Overflow / 4.2：
OpenBSD 2.7 FTP Daemon Off-by-One / 4.2.1：
Non-Executable Memory / 4.2.3：
Heap Overflows / 4.3：
Heap Based Overflows / 4.3.1：
Integer Overflows / 4.4：
Types Integer Overflow / 4.4.1：
CAN-2004-0417 CVS Max dotdot Protocol Command Integer Overflow / 4.4.2：
Format String / 4.5：
Format String Vulnerability / 4.5.1：
Format String Denial of Service Attack / 4.5.2：
Format String Vulnerability Reading Attack / 4.5.3：
SEH Structure Exception Handler / 4.6：
Exploiting the SEH / 4.6.1：
Writing Exploits General Concepts / 4.7：
Stack Overflow Exploits / 4.7.1：
Injection Techniques / 4.7.2：
Optimizing the Injection Vector / 4.7.3：
The Location of the Payload / 4.8：
Direct Jump (Guessing Offsets) / 4.8.1：
Blind Return / 4.8.2：
Pop Return / 4.8.3：
No Operation Sled / 4.8.4：
Call Register / 4.8.5：
Push Return / 4.8.6：
Calculating Offset / 4.8.7：
Fundamental of Reverse Engineering / 4.9：
Anti-Reversing Method / 5.0：
Anti Disassembly / 5.2.1：
Linear Sweep Disassembler / 5.2.1.1：
Recursive Traversal Disassembler / 5.2.1.2：
Evasion of Disassemble / 5.2.1.3：
Self Modifying Code / 5.2.2：
Virtual Machine Obfuscation / 5.2.3：
Anti Debugging Techniques / 5.3：
BreakPoints / 5.3.1：
Software Breakpoint / 5.3.1.1：
Hardware Breakpoint / 5.3.1.2：
Detecting Hardware BreakPoint / 5.3.1.3：
Virtual Machine Detection / 5.4：
Checking Fingerprint Inside Memory, File System and Registry / 5.4.1：
Checking System Tables / 5.4.2：
Checking Processor Instruction Set / 5.4.3：
Unpacking / 5.5：
Manual Unpacking of Software / 5.5.1：
Finding an Original Entry Point of an Executable / 5.5.1.1：
Taking Memory Dump / 5.5.1.2：
Import Table Reconstruction / 5.5.1.3：
Import Redirection and Code emulation / 5.5.1.4：
Appendix / 5.6：
Index
Assembly Language
Introduction / 1.0：
Registers / 1.1：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼