Search Sciweavers | Sciweavers

1599 search results - page 37 / 320

» Program Analysis for Security and Privacy

129

click to vote

CCS
2008
ACM

133views Security Privacy» more CCS 2008»

Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach

15 years 3 months ago

Download www.infsec.uni-trier.de

In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...

Ralf Küsters, Tomasz Truderung

claim paper

Read More »

132

click to vote

CCS
2006
ACM

480views Security Privacy» more CCS 2006»

Using model-based security analysis in component-oriented system development

15 years 5 months ago

Download folk.uio.no

We propose an integrated process for component-based system development and security risk analysis. The integrated process is evaluated in a case study involving an instant messag...

Gyrd Brændeland, Ketil Stølen

claim paper

Read More »

click to vote

ACSAC
2001
IEEE

130views Security Privacy» more ACSAC 2001»

Privacy-Preserving Cooperative Statistical Analysis

15 years 5 months ago

Download www.acsac.org

The growth of the Internet opens up tremendous opportunities for cooperative computation, where the answer depends on the private inputs of separate entities. Sometimes these comp...

Wenliang Du, Mikhail J. Atallah

claim paper

Read More »

click to vote

WPES
2004
ACM

87views Security Privacy» more WPES 2004»

A quantitative and qualitative ANALYSIS of blocking in association rule hiding

15 years 7 months ago

Download infolab.cs.unipi.gr

Emmanuel D. Pontikakis, Yannis Theodoridis, Achill...

claim paper

Read More »