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 条
  • [41] Secure Embedded Architectures: Taint Properties Verification
    Cabodi, G.
    Camurati, P.
    Finocchiaro, S. F.
    Loiacono, C.
    Savarese, F.
    Vendraminetto, D.
    2016 13TH INTERNATIONAL CONFERENCE ON DEVELOPMENT AND APPLICATION SYSTEMS (DAS 2016), 2016, : 150 - 157
  • [42] Secure Motion Verification using the Doppler Effect
    Schaefer, Matthias
    Leu, Patrick
    Lenders, Vincent
    Schmitt, Jens
    PROCEEDINGS OF THE 9TH ACM CONFERENCE ON SECURITY & PRIVACY IN WIRELESS AND MOBILE NETWORKS (WISEC'16), 2016, : 135 - 145
  • [43] Source code verification of a secure payment applet
    Jacobs, B
    Oostdijk, M
    Warnier, M
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 58 (1-2): : 107 - 120
  • [44] Data-Provenance Verification For Secure Hosts
    Xu, Kui
    Xiong, Huijun
    Stefan, Deian
    Yao, Danfeng
    IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2012, 9 (02) : 173 - 183
  • [45] Logical verification of secure electronic transactions protocol
    Chen, Qingfeng
    Wang, Ju
    Bai, Shuo
    Zhang, Shichao
    Sui, Liying
    Ruan Jian Xue Bao/Journal of Software, 2000, 11 (03): : 346 - 362
  • [46] FORMAL VERIFICATION OF THE SECURE SOCKETS LAYER PROTOCOL
    Tobarra, Llanos
    Cazorla, Diego
    Pardo, J. Jose
    Cuartero, Fernando
    ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL ISAS-2: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, VOL 2, 2008, : 246 - 252
  • [47] Formal Verification of a Secure Mobile Banking Protocol
    Huy Hoang Ngo
    Dandash, Osama
    Phu Dung Le
    Srinivasan, Bala
    Wilson, Campbell
    ADVANCES IN NETWORKS AND COMMUNICATIONS, PT II, 2011, 132 : 410 - 421
  • [48] Verification of Secure Network Protocols in Uncertain Environments
    Damiani, Sarah
    Griffin, Christopher
    Phoha, Shashi
    Racunas, Stephan
    Rogan, Christopher
    INTERNATIONAL JOURNAL OF WIRELESS INFORMATION NETWORKS, 2006, 13 (03) : 221 - 228
  • [49] Secure Accountable Dynamic Storage Integrity Verification
    Zhou, Zequan
    Wang, Yupeng
    Luo, Xiling
    Bai, Yi
    Wang, Xiaochao
    Zeng, Feng
    2021 IEEE SMARTWORLD, UBIQUITOUS INTELLIGENCE & COMPUTING, ADVANCED & TRUSTED COMPUTING, SCALABLE COMPUTING & COMMUNICATIONS, INTERNET OF PEOPLE, AND SMART CITY INNOVATIONS (SMARTWORLD/SCALCOM/UIC/ATC/IOP/SCI 2021), 2021, : 440 - 447
  • [50] Efficient and secure fingerprint verification for embedded devices
    Yang, Shenglin
    Sakiyama, Kazuo
    Verbauwhede, Ingrid
    Eurasip Journal on Applied Signal Processing, 2006, 2006
12345