Implementing Security Via Modern Programming Languages

Download Now Free registration required

Executive Summary

Security topics in all areas are a pressing need for Computer Science instructors. This paper provides a survey of security features in modern programming languages. The paper presents the role that type safety and capabilities provide for the building of secure systems, and how language systems allow designers to model security issues that once were part-and-parcel of Operating Systems, or that can not be modeled by such.

  • Format: PDF
  • Size: 200.7 KB