1121 search results - page 43 / 225 » Logics of Complementarity in Information Systems |
DSN
2009
IEEE
14 years 3 months ago
2009
IEEE
Dynamic Information Flow Tracking (DIFT) is a promising security technique. With hardware support, DIFT prevents a wide range of attacks on vulnerable software with minimal perfor...
CSFW
2010
IEEE
14 years 22 days ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
ICSM
2009
IEEE
14 years 3 months ago
2009
IEEE
To improve the ability of predicting the impact scope of a given change, we present two approaches applicable to the maintenance of object-oriented software systems. Our first ap...
ICCS
2009
Springer
14 years 3 months ago
2009
Springer
My paper discusses system consequence, which is a central idea in the project to lift the theory of information flow to the general level of universal logic and the theory of ins...
EEMMAS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Collaborative Ubiquitous Environments (CUEs) are environments supporting collaboration among persons in a ubiquitous computing setting. This paper shows how results of th...