Handbook on Securing Cyber-Physical Critical Infrastructure > 13 Languages and Security: Safer Software Through Language and Compiler Techniques > 13.1 Introduction - Pg. 333: Safari Books Online

Table of Contents

Download Safari Books Online apps: Apple iOS | Android

Entire Site

Safari Books Online is a digital library providing on-demand subscription access to thousands of learning resources.

This Book

Handbook on Securing Cyber-Physical Critical Infrastructure

Handbook on Securing Cyber-Physical Critical Infrastructure

Search

Contents

Table of Contents

Handbook on Securing Cyber-Physical Critical Infrastructure: Foundations and Challenges

About the Authors

Table of Contents

Securing Cyber-Physical Infrastructure: Perspectives and Overview of the Handbook

I Theoretical Foundations

II Security for Wireless Mobile Networks

III Security for Sensor Networks

IV Platform Security

12 Hardware and Security: Vulnerabilities and Solutions

13 Languages and Security: Safer Software Through Language and Compiler Techniques

13.1 Introduction

13.2 Compiler Techniques for Copyrights and Watermarking

13.3 Compiler Techniques for Code Obfuscation

13.4 Compiler Techniques for Code Integrity

13.5 Proof-Carrying Code and Authentication

13.6 Static Analysis Techniques and Tools

13.7 Information Flow Techniques

13.8 Rule checking, Verification, and Run-time Support

13.9 Language Modifications for Increased Safety and Security

13.10 Conclusions and Future Work

V Cloud Computing and Data Security

VI Event Monitoring and Situation Awareness

VII Policy Issues in Security Management

VIII Security in Real-World Systems

URL

Help

CHAPTER 13 Languages and Security: Safer Software Through Language and Compiler Techniques Rahul Simha, Scotty Smith