Search Sciweavers | Sciweavers

3115 search results - page 14 / 623

» Synthesizing Secure Protocols

click to vote

SP
2009
IEEE

95views Security Privacy» more SP 2009»

Prospex: Protocol Specification Extraction

15 years 10 months ago

Download www.iseclab.org

Paolo Milani Comparetti, Gilbert Wondracek, Christ...

claim paper

Read More »

104

Voted

CCS
2007
ACM

94views Security Privacy» more CCS 2007»

Selecting theories and nonce generation for recursive protocols

15 years 10 months ago

Download www.informatik.uni-kiel.de

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

claim paper

Read More »

113

click to vote

CCS
2001
ACM

100views Security Privacy» more CCS 2001»

Inductive methods and contract-signing protocols

15 years 8 months ago

Download www.cs.uiuc.edu

Rohit Chadha, Max I. Kanovich, Andre Scedrov

claim paper

Read More »

Voted

AGENTS
2000
Springer

88views Security Privacy» more AGENTS 2000»

A Multi-agent system architecture for monitoring medical protocols

15 years 8 months ago

Download fermat.eup.udl.es

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

claim paper

Read More »

118

click to vote

ACISP
1999
Springer

147views Security Privacy» more ACISP 1999»

Accelerating Key Establishment Protocols for Mobile Communication

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers