Language-based security: what's needed and why

DOI10.1007/3-540-47764-0_21MaRDI QIDQ4778707zbMATH OpenFDO

Authors Fred B. Schneider

Publication date 19 November 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2126/21260374

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Recommendations

• Higher-order program verification and language-based security (extended abstract)
• Language extensions for programmable security
• Security-typed languages and distributed computation
• Transforming Abstract Interpretations by Abstract Interpretation
• Security-aware program transformations.

Cited in

(7)

• Formal logical language to set requirements for secure code execution
• Language extensions for programmable security
• Linguistic mechanisms for context-aware security
• Higher-order program verification and language-based security (extended abstract)
• scientific article; zbMATH DE number 1955913 (Why is no real title available?)
• scientific article; zbMATH DE number 1956541 (Why is no real title available?)
• Foundations of Software Science and Computational Structures

This page was built for publication: Language-based security: what's needed and why

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4778707)