Secure Application Development
Home faculty program location registration subscribe related past events	Security architectures inside the programming language Learning objectives Characterize security mechanisms of the CLR and Java virtual machines. Overview The programming language used can strongly influence the security properties of applications. Modern programming languages such as Java or C# are favored because they have been designed with security requirements in mind. The notions of safety and type soundness, and their implications for security are discussed. Language based mechanisms for sandboxing partially trusted components are introduced and illustrated for both Java and .NET platforms.

Secure Application Development

Home
faculty
program
location
registration
subscribe
related
past events

Security architectures inside the programming language

Learning objectives

Characterize security mechanisms of the CLR and Java virtual machines.

Overview

The programming language used can strongly influence the security properties of applications. Modern programming languages such as Java or C# are favored because they have been designed with security requirements in mind. The notions of safety and type soundness, and their implications for security are discussed. Language based mechanisms for sandboxing partially trusted components are introduced and illustrated for both Java and .NET platforms.