A Language for Configuring Security Policies
Shape Security uses a language called DEX1 to configure security policies used to defend enterprises against Botnet attacks. DEX is a purely functional, decidable, statically typed language designed to facilitate configuration and analysis. By design, it is not Turing-complete. The language does not permit recursion and has no explicit looping constructs. Iteration over finite collections is provided via list comprehensions. As a result, a program written entirely in DEX can never diverge or crash.
The talks introduce DEX. The talk will then list a number of feature of the language, from typing to null handling, and give an experience report on the usage and the past and foreseeable evolution of the DEX language.
Mon 18 OctDisplayed time zone: Central Time (US & Canada) change
09:00 - 10:20
|A Language for Configuring Security Policies|
Gilad Bracha firstname.lastname@example.orgMedia Attached
|Provenance of Configuration Programming Language muPuppet|
Weili Fu University of Freiburg, Germany, Paul Anderson University of Edinburgh, James Cheney University of Edinburgh; Alan Turing InstituteMedia Attached
|The Pitfalls of Ansible’s Variable and Template Expression Semantics|
|Typing in Nickel and elsewhere|
Yann Hamdaoui TweagMedia Attached
|Languages: Q&A and discussion|