Browser extensions let developers add extra functionality to the browser. Although this enables popular new features, extensions threaten browser security because they are written by unknown third-party developers. An extension could be directly malicious, or a well-intentioned developer could write buggy code that leaks privileges to a malicious web site operator. This thesis advocates the dev...

In this paper we prove that the principles in the language with relation composition and dynamic implication valid for all binary relations are the same ones as the principles valid when we restrict ourselves to DPL relations i e relations generated from conditions tests and resettings