Search Sciweavers | Sciweavers

1612 search results - page 7 / 323

» About models of security protocols

click to vote

ICALP
2007
Springer

94views Programming Languages» more ICALP 2007»

Trading Static for Adaptive Security in Universally Composable Zero-Knowledge

13 years 9 months ago

Download www.cse.uconn.edu

Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...

Aggelos Kiayias, Hong-Sheng Zhou

claim paper

Read More »

click to vote

ACSAC
1999
IEEE

88views Security Privacy» more ACSAC 1999»

Using Checkable Types in Automatic Protocol Analysis

13 years 11 months ago

Download www.acsac.org

The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...

Stephen H. Brackin

claim paper

Read More »

click to vote

IEEEARES
2008
IEEE

119views Security Privacy» more IEEEARES 2008»

Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models

14 years 1 months ago

Download staff.polito.it

Alfredo Pironti, Riccardo Sisto

claim paper

Read More »