Security Type Error Diagnosis for Higher-Order Polymorphic Languages

Jeroen Weijers; Jurriaan Hage; Stefan Holdermans

doi:10.1145/2426890.2426894

Security Type Error Diagnosis for Higher-Order Polymorphic Languages

Jeroen Weijers, Jurriaan Hage, Stefan Holdermans

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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
Title of host publication	Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
Subtitle of host publication	PEPM '13
Publisher	Association for Computing Machinery
Pages	3-12
Number of pages	10
ISBN (Print)	9781450318426
DOIs	https://doi.org/10.1145/2426890.2426894
Publication status	Published - 21 Jan 2013

Access to Document

10.1145/2426890.2426894

Cite this

@inproceedings{5fb8155ef33f469683281c287d790dc8,

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.",

author = "Jeroen Weijers and Jurriaan Hage and Stefan Holdermans",

note = "Workshop on Partial Evaluation and Program Manipulation",

year = "2013",

month = jan,

day = "21",

doi = "10.1145/2426890.2426894",

language = "English",

isbn = "9781450318426",

pages = "3--12",

booktitle = "Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation",

publisher = "Association for Computing Machinery",

address = "United States",

}

TY - GEN

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

AU - Weijers, Jeroen

AU - Hage, Jurriaan

AU - Holdermans, Stefan

N1 - Workshop on Partial Evaluation and Program Manipulation

PY - 2013/1/21

Y1 - 2013/1/21

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.

U2 - 10.1145/2426890.2426894

DO - 10.1145/2426890.2426894

M3 - Conference contribution

SN - 9781450318426

SP - 3

EP - 12

BT - Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation

PB - Association for Computing Machinery

ER -

Security Type Error Diagnosis for Higher-Order Polymorphic Languages

Abstract

Access to Document

Fingerprint

Cite this