Introduction# Introduction Design Goals Scope Security Considerations Dependencies Overview Concepts Semantic Phases