Search Sciweavers | Sciweavers

1777 search results - page 21 / 356

» Programming Cryptographic Protocols

135

click to vote

CADE
1997
Springer

153views Logical Reasoning» more CADE 1997»

Automatic Verification of Cryptographic Protocols with SETHEO

15 years 10 months ago

Download ti.arc.nasa.gov

Johann Schumann

claim paper

Read More »

109

click to vote

CCS
1997
ACM

99views Security Privacy» more CCS 1997»

A Calculus for Cryptographic Protocols: The Spi Calculus

15 years 10 months ago

Download www.hpl.hp.com

Martín Abadi, Andrew D. Gordon

claim paper

Read More »

129

Voted

CONCUR
2000
Springer

81views Distributed And Parallel Com...» more CONCUR 2000»

On the Reachability Problem in Cryptographic Protocols

15 years 10 months ago

Download reference.kfupm.edu.sa

Roberto M. Amadio, Denis Lugiez

claim paper

Read More »

116

click to vote

DAGSTUHL
2007

76views Software Engineering» more DAGSTUHL 2007»

Belief Change and Cryptographic Protocol Verification

15 years 7 months ago

Download www.aaai.org

Aaron Hunter, James P. Delgrande

claim paper

Read More »

130

click to vote

FLAIRS
2000

108views Artificial Intelligence» more FLAIRS 2000»

Validation of Cryptographic Protocols by Efficient Automated Testing

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers