Sciweavers

18 search results - page 1 / 4
» etrics 2006
Sort
View
ETRICS
2006
13 years 8 months ago
Filtering for Private Collaborative Benchmarking
Florian Kerschbaum, Orestis Terzidis
ETRICS
2006
13 years 8 months ago
Controlling Access to Documents: A Formal Access Control Model
Paul E. Sevinç, David A. Basin, Ernst-R&uum...
ETRICS
2006
13 years 8 months ago
Kleptographic Attacks on E-Voting Schemes
Marcin Gogolewski, Marek Klonowski, Przemyslaw Kub...
ETRICS
2006
13 years 8 months ago
Allowing State Changes in Specifications
Abstract. We provide a static analysis (using both dataflow analysis and theorem proving) to allow state changes within specifications. This can be used for specification languages...
Michael Barnett, David A. Naumann, Wolfram Schulte...
ETRICS
2006
13 years 8 months ago
Visual Document Authentication Using Human-Recognizable Watermarks
Digital signatures and message authentication codes are well known methods for ensuring message integrity. However, they rely on computations which are too hard to be performed by ...
Igor Fischer, Thorsten Herfet