Search Sciweavers | Sciweavers

1612 search results - page 7 / 323

» About models of security protocols

153

click to vote

ICALP
2007
Springer

94views Programming Languages» more ICALP 2007»

Trading Static for Adaptive Security in Universally Composable Zero-Knowledge

15 years 6 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 »

116

click to vote

ACSAC
1999
IEEE

88views Security Privacy» more ACSAC 1999»

Using Checkable Types in Automatic Protocol Analysis

15 years 8 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 »

113

click to vote

IEEEARES
2008
IEEE

119views Security Privacy» more IEEEARES 2008»

Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models

15 years 11 months ago

Download staff.polito.it

Alfredo Pironti, Riccardo Sisto

claim paper