Analysis of a Biometric Authentication Protocol for Signature Creation Application

被引:0
|
作者
Salaiwarakul, Anongporn [1 ]
Ryan, Mark D. [1 ]
机构
[1] Univ Birmingham, Sch Comp Sci, Birmingham B15 2TT, W Midlands, England
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper presents an analysis of biometric authentication for signature creation application. We extend the established protocol in order to verify the two properties: secrecy and safety. We have analysed the protocol using applied pi calculus and ProVerif. The verification of the secrecy property shows that the protocol holds the biometric data securely while the verification of the safety property shows that an intruder could not deceive the application to allow her to sign any document using a legitimate user's signature.
引用
收藏
页码:231 / 245
页数:15
相关论文
共 50 条
  • [1] An Application of the Boneh and Shacham Group Signature Scheme to Biometric Authentication
    Bringer, Julien
    Chabanne, Herve
    Pointcheval, David
    Zimmer, Sebastien
    [J]. ADVANCES IN INFORMATION AND COMPUTER SECURITY, PROCEEDINGS, 2008, 5312 : 219 - 230
  • [2] Authentication protocol for software and hardware components in distributed electronic signature creation system
    Pejas, Jerzy
    El Fray, Imed
    Rucinski, Andrzej
    [J]. PRZEGLAD ELEKTROTECHNICZNY, 2012, 88 (10B): : 192 - 197
  • [3] STRONG AUTHENTICATION USING DYNAMIC BIOMETRIC SIGNATURE
    Smejkal, Vladimir
    Kodl, Jindrich
    [J]. 2011 IEEE INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY (ICCST), 2011,
  • [4] Delegating Biometric Authentication with the Sumcheck Protocol
    Chabanne, Herve
    Keuffer, Julien
    Lescuyer, Roch
    [J]. INFORMATION SECURITY THEORY AND PRACTICE, WISTP 2016, 2016, 9895 : 236 - 244
  • [5] An authentication protocol with encrypted biometric data
    Bringer, Julien
    Chabanne, Herve
    [J]. PROGRESS IN CRYPTOLOGY - AFRICACRYPT 2008, 2008, 5023 : 109 - 124
  • [6] Biometric Signature Authentication with Low Cost Embedded Stylus
    Subedi, Divas
    Chitrakar, Digesh
    Yung, Isabella
    Zhu, Yicheng
    Su, Yun-Hsuan
    Huang, Kevin
    [J]. 2023 IEEE/ASME INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT MECHATRONICS, AIM, 2023, : 834 - 839
  • [7] Biometric Authentication of a User using Online Dynamic Signature
    Baraki, Parashuram
    Ramaswamy, V.
    [J]. PROCEEDINGS OF THE 2016 2ND INTERNATIONAL CONFERENCE ON APPLIED AND THEORETICAL COMPUTING AND COMMUNICATION TECHNOLOGY (ICATCCT), 2016, : 576 - 581
  • [8] Fuzzy identity based signature with applications to biometric authentication
    Yang, Piyi
    Cao, Zhenfu
    Dong, Xiaolei
    [J]. COMPUTERS & ELECTRICAL ENGINEERING, 2011, 37 (04) : 532 - 540
  • [9] A Proposal of Efficient Remote Biometric Authentication Protocol
    Sakashita, Taiki
    Shibata, Yoichi
    Yamamoto, Takumi
    Takahashi, Kenta
    Ogata, Wakaha
    Kikuchi, Hiroaki
    Nishigaki, Masakatsu
    [J]. ADVANCES IN INFORMATION AND COMPUTER SECURITY, PROCEEDINGS, 2009, 5824 : 212 - +
  • [10] Federated Protocol for Biometric Authentication and Access Control
    Nick, William
    Shelton, Joseph
    Sabol, Cory
    Esterline, Albert
    [J]. 2017 COMPUTING CONFERENCE, 2017, : 854 - 862