Sciweavers

502 search results - page 2 / 101
» An Audit Logic for Accountability
Sort
View
ECIS
2000
13 years 6 months ago
Different Pre-Processing Models for Financial Accounts when using Neural Networks for Auditing
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. ...
Eija Koskivaara
ATVA
2007
Springer
89views Hardware» more  ATVA 2007»
13 years 11 months ago
Policies and Proofs for Code Auditing
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...
Nathan Whitehead, Jordan Johnson, Martín Ab...
IPAW
2010
13 years 3 months ago
Securing Provenance-Based Audits
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 ...
Rocío Aldeco-Pérez, Luc Moreau
ICDT
2009
ACM
127views Database» more  ICDT 2009»
14 years 1 days ago
A logical account of uncertain databases based on linear logic
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...
Sungwoo Park, Seung-won Hwang
CSFW
2011
IEEE
12 years 5 months ago
Regret Minimizing Audits: A Learning-Theoretic Basis for Privacy Protection
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...