Showing 1 - 13 results of 13 for search '"formal analysis"', query time: 0.03s Refine Results
  1. 1
    Correcting the security definition of the Bellare-Rogaway 3PKD model

    Correcting the security definition of the Bellare-Rogaway 3PKD model by LIU Jun1, LIAO Jian-xin1, ZHU Feng2, WANG Chun1

    Published 2007-01-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Analysis and improvement of sensor networks security protocol

    Analysis and improvement of sensor networks security protocol by YAN Li-li1, PENG Dai-yuan1, GAO Yue-xiang1

    Published 2011-01-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Optimization and Security Analysis of Interconnected Security Control Based on Semantic of Process Communication

    Optimization and Security Analysis of Interconnected Security Control Based on Semantic of Process Communication by Bo LU, Yueming LU

    Published 2021-09-01
    Subjects: “…formal analysis…”
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Security analysis of security protocol Swift implementations based on computational model

    Security analysis of security protocol Swift implementations based on computational model by Bo MENG, Xudong HE, Jinli ZHANG, Lili YAO, Jintian LU

    Published 2018-09-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Modeling and analysis of multi-party non-repudiation protocols with extended-CSP approach

    Modeling and analysis of multi-party non-repudiation protocols with extended-CSP approach by Zhi-geng HAN, Geng CHEN, Jun-zhou LUO

    Published 2012-11-01
    Subjects: “…formal analysis…”
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Analysis and improvement of the BACnet/IP based on identity authentication

    Analysis and improvement of the BACnet/IP based on identity authentication by Pengshou XIE, Jiafeng ZHU, Yongping KANG, Tao FENG, Wei LI, Yuxiang RAN

    Published 2024-03-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Formal modeling and security analysis method of security protocol based on CPN

    Formal modeling and security analysis method of security protocol based on CPN by Xiang GONG, Tao FENG, Jinze DU

    Published 2021-09-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Android complex information flow analysis method based on communicating sequential process

    Android complex information flow analysis method based on communicating sequential process by Zhanhui YUAN, Zhi YANG, Hongqi ZHANG, Shuyuan JIN, Xuehui DU

    Published 2021-10-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    A Critique of the Book the History of Arabic Literature in Hadith Era

    A Critique of the Book the History of Arabic Literature in Hadith Era by Mohsen Seifi, Bahare Samadi

    Published 2017-03-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Analysis of provably secure on-demand source routing in MANET

    Analysis of provably secure on-demand source routing in MANET by MAO Li-qiang1, MA Jian-feng1, LI Xing-hua1

    Published 2009-01-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Research on certificateless anonymous authentication and key agreement scheme of vehicle network based on CPN

    Research on certificateless anonymous authentication and key agreement scheme of vehicle network based on CPN by ZHENG Lu, FENG Tao, SU Chunhua

    Published 2024-06-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Research on formal security policy model specification and its formal analysis

    Research on formal security policy model specification and its formal analysis by LI Li-ping1, QING Si-han1, ZHOU Zhou-yi1, HE Jian-bo1, WEN Hong-zi3

    Published 2006-01-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    SAT-based lazy formal analysis method for security protocols

    SAT-based lazy formal analysis method for security protocols by Chun-xiang GU, Huan-xiao WANG, Yong-hui ZHENG, Dan XIN, Nan LIU

    Published 2014-11-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: