Formalising Human Recognition: A Fundamental Building Block for Security Proofs

Conference presentation

K Radke, C Boyd, JG Nieto, M Manulis and D Stebila

12th Australasian Information Security Conference (AISC 2014), Vol.149, pp.37-45

2014

Abstract

16 Record Views

Title: Formalising Human Recognition: A Fundamental Building Block for Security Proofs
Creators: K Radke
C Boyd
JG Nieto
M Manulis
D Stebila
Contributors: Australian Computer Society, Inc. (Publisher)
Publication Details: 12th Australasian Information Security Conference (AISC 2014), Vol.149, pp.37-45
Date published: 2014
Date submitted: 17/05/2017
Identifiers: 99514843902346
Academic Unit: University of Surrey
Resource Type: Conference presentation