Towards the Rank Function Verification of protocols that use Temporary Secrets

Conference presentation

Open access

Robert Delicata and Steve Schneider

20/04/2004

Abstract

pdf

fulltext204.09 kBDownload View

Text Open Access

99 File views/ downloads

30 Record Views

Title: Towards the Rank Function Verification of protocols that use Temporary Secrets
Creators: Robert Delicata
Steve Schneider
Date published: 20/04/2004
Date submitted: 27/05/2010
Identifiers: 99515505102346
Academic Unit: Department of Computer Science
Resource Type: Conference presentation