%0 Conference Paper %1 conf/auisc/RadkeBNMS14 %A Radke, Kenneth %A Boyd, Colin %A Nieto, Juanma González %A Manulis, Mark %A Stebila, Douglas %B AISC %D 2014 %E Parampalli, Udaya %E Welch, Ian %I Australian Computer Society %K %P 37-45 %T Formalising Human Recognition: a Fundamental Building Block for Security Proofs. %U http://dblp.uni-trier.de/db/conf/auisc/auisc2014.html#RadkeBNMS14 %V 149 %@ 978-1-921770-32-6

@inproceedings{conf/auisc/RadkeBNMS14, added-at = {2023-12-13T06:11:48.000+0100}, author = {Radke, Kenneth and Boyd, Colin and Nieto, Juanma González and Manulis, Mark and Stebila, Douglas}, biburl = {https://www.bibsonomy.org/bibtex/2e6f086a7c1fcc3dfeca2fd8fac791e64/admin}, booktitle = {AISC}, crossref = {conf/auisc/2014}, editor = {Parampalli, Udaya and Welch, Ian}, ee = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV149Radke.html}, interhash = {ab545af48adb7d1374ca011e6afc65c9}, intrahash = {e6f086a7c1fcc3dfeca2fd8fac791e64}, isbn = {978-1-921770-32-6}, keywords = {}, pages = {37-45}, publisher = {Australian Computer Society}, series = {CRPIT}, timestamp = {2023-12-13T06:11:48.000+0100}, title = {Formalising Human Recognition: a Fundamental Building Block for Security Proofs.}, url = {http://dblp.uni-trier.de/db/conf/auisc/auisc2014.html#RadkeBNMS14}, volume = 149, year = 2014 }