The aim of this study is to investigate the impact of various pre-processing models on the forecast capability of artificial neural network (ANN) when auditing financial accounts. ...
Abstract. Both proofs and trust relations play a role in security decisions, in particular in determining whether to execute a piece of code. We have developed a language, called B...
Given the significant increase of on-line services that require personal information from users, the risk that such information is misused has become an important concern. In such ...
A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a...
Abstract—Audit mechanisms are essential for privacy protection in permissive access control regimes, such as in hospitals where denying legitimate access requests can adversely a...
Jeremiah Blocki, Nicolas Christin, Anupam Datta, A...