Modelling and Verification of Secure Exams

被引：0
|
作者：
Marmsoler, Diego [1 ]
机构：
[1] Univ Exeter, Exeter, Devon, England
来源：
FORMAL ASPECTS OF COMPUTING | 2022年 / 34卷 / 02期
关键词：
D O I：
10.1145/3545182
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页数：3
相关论文
共 50 条
  • [1] Modelling a secure framework for data verification and integrity in cloud environment
    Nagesh, Puvvada
    Srinivasu, N.
    INTERNATIONAL JOURNAL OF SYSTEM ASSURANCE ENGINEERING AND MANAGEMENT, 2022,
  • [2] Secure Online Exams on Thin Client
    Treenantharath, Tassanan
    Sutheebanjard, Phaisarn
    2013 ELEVENTH INTERNATIONAL CONFERENCE ON ICT AND KNOWLEDGE ENGINEERING (ICT&KE), 2013,
  • [3] Secure Exams despite Malicious Management
    Bella, Giampaolo
    Giustolisi, Rosario
    Lenzini, Gabriele
    2014 TWELFTH ANNUAL INTERNATIONAL CONFERENCE ON PRIVACY, SECURITY AND TRUST (PST), 2014, : 274 - 281
  • [4] Remark!: A Secure Protocol for Remote Exams
    Giustolisi, Rosario
    Lenzini, Gabriele
    Ryan, Peter Y. A.
    SECURITY PROTOCOLS XXII, 2014, 8809 : 38 - 48
  • [5] Secure Track Verification
    Schaefer, Matthias
    Lenders, Vincent
    Schmitt, Jens
    2015 IEEE SYMPOSIUM ON SECURITY AND PRIVACY SP 2015, 2015, : 199 - 213
  • [6] Secure Path Verification
    Cabodi, G.
    Camurati, P.
    Finocchiaro, S. F.
    Loiacono, C.
    Savarese, F.
    Vendraminetto, D.
    2016 1ST IEEE INTERNATIONAL VERIFICATION AND SECURITY WORKSHOP (IVSW), 2016, : 58 - 63
  • [7] Secure iris verification
    Yang, Shenglin
    Verbauwhede, Ingrid
    2007 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, VOL II, PTS 1-3, 2007, : 133 - +
  • [8] Remark!: A Secure Protocol for Remote Exams (Transcript of Discussion)
    Giustolisi, Rosario
    SECURITY PROTOCOLS XXII, 2014, 8809 : 49 - 54
  • [9] Strategies and System Implementations for Secure Electronic Written Exams
    Gervasi, Osvaldo
    Perri, Damiano
    Simonetti, Marco
    IEEE ACCESS, 2022, 10 : 20559 - 20570
  • [10] Implementing Secure Processes in On-line Exams Workflow
    Tumin, Sharil
    Encheva, Sylvia
    EDUTE 2009: PROCEEDINGS OF THE 5TH WSEAS/IASME INTERNATIONAL CONFERENCE ON EDUCATIONAL TECHNOLOGIES, 2009, : 81 - +
12345