Search Sciweavers | Sciweavers

5255 search results - page 20 / 1051

» Formal Methods for Privacy

click to vote

ESORICS
2009
Springer

122views Security Privacy» more ESORICS 2009»

Distributed Privacy-Preserving Methods for Statistical Disclosure Control

14 years 9 days ago

Download www.iiia.csic.es

Javier Herranz, Jordi Nin, Vicenç Torra

claim paper

Read More »

click to vote

SPE
2011

276views Security Privacy» more SPE 2011»

Decomposition tool for event-B

13 years 2 months ago

Download eprints.ecs.soton.ac.uk

Abstract. Two methods have been identiﬁed for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the ...

Renato Silva, Carine Pascal, Thai Son Hoang, Micha...

claim paper

Read More »

click to vote

ESORICS
2004
Springer

151views Security Privacy» more ESORICS 2004»

An Algebra for Composing Enterprise Privacy Policies

14 years 1 months ago

Download www.infsec.cs.uni-saarland.de

Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. To facilitate the compliance with d...

Michael Backes, Markus Dürmuth, Rainer Steinw...

claim paper

Read More »

click to vote

FMCAD
2009
Springer

171views Formal Methods» more FMCAD 2009»

Debugging formal specifications using simple counterstrategies

14 years 2 months ago

Download fmv.jku.at

Robert Könighofer, Georg Hofferek, Roderick B...

claim paper

Read More »