Requirements specification is a collaborative activity that involves several developers specifying the requirements elicited through several stakeholders. Operation-base merging a...
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and...
Abstract. In the context of situated and embodied cognition, we evaluate an information-theoretic approach to the construction of the Umwelt of an artificial agent. We make the ass...
Philippe Capdepuy, Daniel Polani, Chrystopher L. N...
This paper studies the problem of securing information release in dynamic languages. We propose (i) an intuitive framework for information-release policies expressing both what ca...