This article presents an ‘end-to-end’ integrity verification mechanism for use in minimally equipped secret paper-ballot election environments. The scheme presented in this pa...
We consider incomplete specifications of XML documents in the presence of schema information and integrity constraints. We show that integrity constraints such as keys and foreign ...
During the verification phase in component-oriented approaches to (embedded) system development component tests are generally followed by system tests, often using different testi...
Abstract. Information integrity is a vital security property in a variety of applications. However, there is more than one facet to integrity: interpretations of integrity in diffe...
Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld
We introduce a measure of entropy for any discrete Choquet capacity and we interpret it in the setting of aggregation by the Choquet integral. Keywords : entropy, discrete Choquet...