An overview of programming language based security

Authors:
Jaime Niño
Affiliations:
University of New Orleans, New Orleans, LA
Venue:
Proceedings of the 47th Annual Southeast Regional Conference
Year:
2009

Citing 17
Cited 0

Efficient software-based fault isolation

SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Efficient detection of all pointer and array access errors

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Programming languages for mobile code

ACM Computing Surveys (CSUR)
Proof-carrying code

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Static enforcement of security with types

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
CCured: type-safe retrofitting of legacy code

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Adoption and focus: practical linear types for imperative programming

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
A Secure Plan

IWAN '99 Proceedings of the First International Working Conference on Active Networks
An Overview of Mobile Agent Programming

Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages
Cyclone: A Safe Dialect of C

ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
Advanced Topics in Types and Programming Languages

Advanced Topics in Types and Programming Languages
Programming Languages

Programming Languages
Concepts of Programming Languages (8th Edition)

Concepts of Programming Languages (8th Edition)
The Craft of System Security

The Craft of System Security
Hardbound: architectural support for spatial safety of the C programming language

Proceedings of the 13th international conference on Architectural support for programming languages and operating systems
The structure of authority: why security is not a separable concern

MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Language-based information-flow security

IEEE Journal on Selected Areas in Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper provides a survey of security features in modern programming languages for Computer Science instructors. We present 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 the latter.