Search Sciweavers | Sciweavers

5488 search results - page 44 / 1098

» On the Secure Implementation of Security Protocols

112

click to vote

CCS
2003
ACM

114views Security Privacy» more CCS 2003»

Secure protocol composition

15 years 5 months ago

Download www.andrew.cmu.edu

This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...

Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...

claim paper

Read More »

102

click to vote

CSFW
2003
IEEE

101views Security Privacy» more CSFW 2003»

A Derivation System for Security Protocols and its Logical Formalization

15 years 5 months ago

Download www.andrew.cmu.edu

Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...

claim paper

Read More »

click to vote

SPW
1999
Springer

84views Security Privacy» more SPW 1999»

Trust Management and Network Layer Security Protocols

15 years 4 months ago

Download www1.cs.columbia.edu

Matt Blaze, John Ioannidis, Angelos D. Keromytis

claim paper

Read More »

click to vote

ACSAC
2008
IEEE

130views Security Privacy» more ACSAC 2008»

Privacy-Aware Biometrics: Design and Implementation of a Multimodal Verification System

15 years 6 months ago

Download spdp.dti.unimi.it

Stelvio Cimato, Marco Gamassi, Vincenzo Piuri, Rob...

claim paper

Read More »

click to vote

EUROSEC
2010
ACM

203views Security Privacy» more EUROSEC 2010»

AESSE: a cold-boot resistant implementation of AES

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers