425 search results - page 7 / 85 » Audit |
FC
1999
Springer
13 years 11 months ago
1999
Springer
We analyze “coin-wallet” and “balance-wallet” under partial real-time audit, and compute upper bounds on theft due to the fact that not all the transactions are audited in ...
FC
2000
Springer
13 years 11 months ago
2000
Springer
Auditability is an important property in nancial systems and architectures. Here we de ne the primitive of blind auditable membership proof" BAMP which combines public auditab...
RAID
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Privacy and surveillance by intrusion detection are potentially conflicting organizational and legal requirements. In order to support a balanced solution, audit data is ...
KSEM
2010
Springer
13 years 5 months ago
2010
Springer
One criterion for the well-formedness of ontologies is that their hierarchical structure forms a lattice. Formal Concept Analysis (FCA) has been used as a technique for assessing ...
ACSAC
2000
IEEE
13 years 12 months ago
2000
IEEE
This paper describes two recently developed intrusion detection algorithms, and gives experimental results on their performance. The algorithms detect anomalies in execution audit...