Search Sciweavers | Sciweavers

5488 search results - page 45 / 1098

» On the Secure Implementation of Security Protocols

click to vote

SP
2009
IEEE

95views Security Privacy» more SP 2009»

Prospex: Protocol Specification Extraction

14 years 3 months ago

Download www.iseclab.org

Paolo Milani Comparetti, Gilbert Wondracek, Christ...

claim paper

Read More »

click to vote

CCS
2007
ACM

94views Security Privacy» more CCS 2007»

Selecting theories and nonce generation for recursive protocols

14 years 3 months ago

Download www.informatik.uni-kiel.de

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

claim paper

Read More »

click to vote

CCS
2001
ACM

100views Security Privacy» more CCS 2001»

Inductive methods and contract-signing protocols

14 years 1 months ago

Download www.cs.uiuc.edu

Rohit Chadha, Max I. Kanovich, Andre Scedrov

claim paper

Read More »

click to vote

AGENTS
2000
Springer

88views Security Privacy» more AGENTS 2000»

A Multi-agent system architecture for monitoring medical protocols

14 years 1 months ago

Download fermat.eup.udl.es

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

claim paper

Read More »

click to vote

ACISP
1999
Springer

147views Security Privacy» more ACISP 1999»

Accelerating Key Establishment Protocols for Mobile Communication

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers