Search Sciweavers | Sciweavers

3504 search results - page 36 / 701

» Secure protocol composition

click to vote

SP
2009
IEEE

95views Security Privacy» more SP 2009»

Prospex: Protocol Specification Extraction

15 years 11 months ago

Download www.iseclab.org

Paolo Milani Comparetti, Gilbert Wondracek, Christ...

claim paper

Read More »

111

click to vote

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 »

117

click to vote

CCS
2001
ACM

100views Security Privacy» more CCS 2001»

Inductive methods and contract-signing protocols

15 years 9 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

15 years 8 months ago

Download fermat.eup.udl.es

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

claim paper

Read More »

122

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