Sciweavers

13461 search results - page 123 / 2693
» Generalization with Taxonomic Information
Sort
View
CRYPTO
2007
Springer
106views Cryptology» more  CRYPTO 2007»
16 years 5 days ago
Information Security Economics - and Beyond
The economics of information security has recently become a thriving and fast-moving discipline. As distributed systems are assembled from machines belonging to principals with div...
Ross Anderson, Tyler Moore
WEBI
2005
Springer
15 years 11 months ago
Guidance Performance Indicator - Web Metrics for Information Driven Web Sites
For the evaluation of web sites a multitude of metrics are available. Apart from general statistical measures, success metrics reflect the degree to which a web site achieves its...
Carsten Stolz, Maximilian Viermetz, Michal Skubacz...
CCS
2004
ACM
15 years 11 months ago
Formally verifying information flow type systems for concurrent and thread systems
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
Gilles Barthe, Leonor Prensa Nieto
ATAL
2009
Springer
15 years 10 months ago
Dynamic information source selection for intrusion detection systems
Our work presents a mechanism designed for the selection of the optimal information provider in a multi-agent, heterogeneous and unsupervised monitoring system. The selfadaptation...
Martin Rehák, Eugen Staab, Michal Pechoucek...
CCS
2008
ACM
15 years 8 months ago
Information leaks in structured peer-to-peer anonymous communication systems
We analyze information leaks in the lookup mechanisms of structured peer-to-peer anonymous communication systems and how these leaks can be used to compromise anonymity. We show t...
Prateek Mittal, Nikita Borisov