Search Sciweavers | Sciweavers

5488 search results - page 45 / 1098

» On the Secure Implementation of Security Protocols

105

Voted

SP
2009
IEEE

95views Security Privacy» more SP 2009»

Prospex: Protocol Specification Extraction

16 years 10 days ago

Download www.iseclab.org

Paolo Milani Comparetti, Gilbert Wondracek, Christ...

claim paper

Read More »

127

click to vote

CCS
2007
ACM

94views Security Privacy» more CCS 2007»

Selecting theories and nonce generation for recursive protocols

15 years 11 months ago

Download www.informatik.uni-kiel.de

Klaas Ole Kürtz, Ralf Küsters, Thomas Wi...

claim paper

Read More »

132

Voted

CCS
2001
ACM

100views Security Privacy» more CCS 2001»

Inductive methods and contract-signing protocols

15 years 10 months ago

Download www.cs.uiuc.edu

Rohit Chadha, Max I. Kanovich, Andre Scedrov

claim paper

Read More »

106

click to vote

AGENTS
2000
Springer

88views Security Privacy» more AGENTS 2000»

A Multi-agent system architecture for monitoring medical protocols

15 years 10 months ago

Download fermat.eup.udl.es

Teresa Alsinet, Ramón Béjar, C&egrav...

claim paper

Read More »

134

Voted

ACISP
1999
Springer

147views Security Privacy» more ACISP 1999»

Accelerating Key Establishment Protocols for Mobile Communication

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers