Dynamic Domain Specific Languages for Trust Models

We propose the development of a framework for the dynamic interpretation of trust models, defined via a domain specific language. A trust model usually defines abstractions, the interpretation of which change in conjunction with changes in the domain or changes in the context in which the program executes. In a scenario where trust model assumptions encoded in the DSL change, programmers must still work with the existing DSL, and therefore take more effort to describe their program or sometimes fail to specify their intent. In such changing circumstances a trust model risks becoming less effective and fit for purpose. We seek to develop an approach in which a trust model adapts to a changing environment by making the underlying DSL less restrictive, maintaining flexibility and adaptability to cope with changing or novel contexts without reducing the expressiveness of the abstractions used.