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 条
  • [31] Secure interoperation of secure distributed databases - An architecture verification case study
    Gilham, F
    Riemenschneider, RA
    Stavridou, V
    FM'99-FORMAL METHODS, 1999, 1708 : 701 - 717
  • [32] Secure image verification in jointed frequency domains
    Tataru, Relu-Laurentiu
    International Journal of Computer Science and Applications, 2015, 12 (02) : 99 - 119
  • [33] POSTER: Privacy Enhanced Secure Location Verification
    Akand, Md Mamunur Rashid
    Safavi-Naini, Reihaneh
    CCS'16: PROCEEDINGS OF THE 2016 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2016, : 1793 - 1795
  • [34] An architecture for secure generation and verification of electronic coupons
    Garg, R
    Mittal, P
    Agarwal, V
    Modani, N
    USENIX ASSOCIATION PROCEEDINGS OF THE 2001 USENIX ANNUAL TECHNICAL CONFERENCE, 2001, : 51 - 63
  • [35] A secure authentication scheme for VANETs with batch verification
    Bayat, Majid
    Barmshoory, Mostafa
    Rahimi, Majid
    Aref, Mohammd Reza
    WIRELESS NETWORKS, 2015, 21 (05) : 1733 - 1743
  • [36] Secure Location Verification Using Simultaneous Multilateration
    Chiang, Jerry T.
    Haas, Jason J.
    Choi, Jihyuk
    Hu, Yih-Chun
    IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, 2012, 11 (02) : 584 - 591
  • [37] FORMAL SPECIFICATION AND VERIFICATION OF SECURE COMMUNICATION PROTOCOLS
    KNAPSKOG, SJ
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 453 : 58 - 73
  • [38] Efficient and Secure Fingerprint Verification for Embedded Devices
    Shenglin Yang
    Kazuo Sakiyama
    Ingrid Verbauwhede
    EURASIP Journal on Advances in Signal Processing, 2006
  • [39] SPEAKER VERIFICATION USING SECURE BINARY EMBEDDINGS
    Portelo, Jose
    Raj, Bhiksha
    Boufounos, Petros
    Trancoso, Isabel
    Abad, Alberto
    2013 PROCEEDINGS OF THE 21ST EUROPEAN SIGNAL PROCESSING CONFERENCE (EUSIPCO), 2013,
  • [40] A Secure Framework for Location Verification in Pervasive Computing
    Liu, Dawei
    Lee, Moon-Chuen
    Wu, Dan
    WIRELESS ALGORITHMS, SYSTEMS, AND APPLICATIONS, 2009, 5682 : 388 - 397
12345