Security Type Error Diagnosis for Higher-Order Polymorphic Languages

Jeroen Weijers; J. Hage; Stefan Holdermans

doi:10.1016/j.scico.2014.03.011

Security Type Error Diagnosis for Higher-Order Polymorphic Languages

Jeroen Weijers, J. Hage, Stefan Holdermans

Research output: Contribution to journal › Article › peer-review

6 Citations (Scopus)

Abstract

We combine the type error slicing and heuristics based approaches to type error diagnostic improvement within the context of type based security analysis on a let-polymorphic call by value lambda calculus extended with lists, pairs and the security specific constructs declassify and protect. We define and motivate four classes of heuristics that help diagnose inconsistencies among the constraints, and show their effect on a selection of security incorrect programs.

Original language	English
Pages (from-to)	200-218
Number of pages	19
Journal	Science of Computer Programming
Volume	95
Issue number	2
DOIs	https://doi.org/10.1016/j.scico.2014.03.011
Publication status	Published - 1 Dec 2014

Keywords

Type-based program analysis
Security analysis
Error feedback

Access to Document

10.1016/j.scico.2014.03.011

Cite this

@article{ea3b8627741447a78ad309151f7c462b,

title = "Security Type Error Diagnosis for Higher-Order Polymorphic Languages",

abstract = "We combine the type error slicing and heuristics based approaches to type error diagnostic improvement within the context of type based security analysis on a let-polymorphic call by value lambda calculus extended with lists, pairs and the security specific constructs declassify and protect. We define and motivate four classes of heuristics that help diagnose inconsistencies among the constraints, and show their effect on a selection of security incorrect programs.",

keywords = "Type-based program analysis, Security analysis, Error feedback",

author = "Jeroen Weijers and J. Hage and Stefan Holdermans",

year = "2014",

month = dec,

day = "1",

doi = "10.1016/j.scico.2014.03.011",

language = "English",

volume = "95",

pages = "200--218",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

number = "2",

}

TY - JOUR

T1 - Security Type Error Diagnosis for Higher-Order Polymorphic Languages

AU - Weijers, Jeroen

AU - Hage, J.

AU - Holdermans, Stefan

PY - 2014/12/1

Y1 - 2014/12/1

N2 - We combine the type error slicing and heuristics based approaches to type error diagnostic improvement within the context of type based security analysis on a let-polymorphic call by value lambda calculus extended with lists, pairs and the security specific constructs declassify and protect. We define and motivate four classes of heuristics that help diagnose inconsistencies among the constraints, and show their effect on a selection of security incorrect programs.

AB - We combine the type error slicing and heuristics based approaches to type error diagnostic improvement within the context of type based security analysis on a let-polymorphic call by value lambda calculus extended with lists, pairs and the security specific constructs declassify and protect. We define and motivate four classes of heuristics that help diagnose inconsistencies among the constraints, and show their effect on a selection of security incorrect programs.

KW - Type-based program analysis

KW - Security analysis

KW - Error feedback

U2 - 10.1016/j.scico.2014.03.011

DO - 10.1016/j.scico.2014.03.011

M3 - Article

SN - 0167-6423

VL - 95

SP - 200

EP - 218

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 2

ER -

Security Type Error Diagnosis for Higher-Order Polymorphic Languages

Abstract

Keywords

Access to Document

Fingerprint

Cite this