Search Sciweavers | Sciweavers

1777 search results - page 21 / 356

» Programming Cryptographic Protocols

114

click to vote

CADE
1997
Springer

153views Logical Reasoning» more CADE 1997»

Automatic Verification of Cryptographic Protocols with SETHEO

15 years 8 months ago

Download ti.arc.nasa.gov

Johann Schumann

claim paper

Read More »

click to vote

CCS
1997
ACM

99views Security Privacy» more CCS 1997»

A Calculus for Cryptographic Protocols: The Spi Calculus

15 years 8 months ago

Download www.hpl.hp.com

Martín Abadi, Andrew D. Gordon

claim paper

Read More »

112

click to vote

CONCUR
2000
Springer

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

On the Reachability Problem in Cryptographic Protocols

15 years 8 months ago

Download reference.kfupm.edu.sa

Roberto M. Amadio, Denis Lugiez

claim paper

Read More »

click to vote

DAGSTUHL
2007

76views Software Engineering» more DAGSTUHL 2007»

Belief Change and Cryptographic Protocol Verification

15 years 5 months ago

Download www.aaai.org

Aaron Hunter, James P. Delgrande

claim paper

Read More »

107

click to vote

FLAIRS
2000

108views Artificial Intelligence» more FLAIRS 2000»

Validation of Cryptographic Protocols by Efficient Automated Testing

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers