Distributed call-tracking for security

DOI10.1016/S0096-0551(02)00010-3zbMath1028.68019OpenAlexW2053294312WikidataQ115036086 ScholiaQ115036086MaRDI QIDQ1869981

Zeliha Dilsun Kirli

Publication date: 4 May 2003

Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0096-0551(02)00010-3

zbMATH Keywords

languagesFunctionalCode mobilityDenial-of-servicePLANResource-sensitive systemsSecurity and language designType systems for control flow analysis

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Uses Software

• PLAN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Region-based memory management
• The type and effect discipline
• Recursion and dynamic data-structures in bounded space
• MULTILISP: a language for concurrent symbolic computation
• Resource bound certification
• PLAN

This page was built for publication: Distributed call-tracking for security