Formal Verification of Security Protocols: ProVerif and Extensions

Formal Verification of Security Protocols: ProVerif and Extensions

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:ICAIS (8. : 2022 : Qinghai) Artificial intelligence and security ; Part 2
1. Verfasser: Yao, Jiangyuan (VerfasserIn)
Weitere Verfasser: Xu, Chunxiang (VerfasserIn), Li, Deshun (VerfasserIn), Lin, Shengjun (VerfasserIn), Cao, Xingcan (VerfasserIn)
Pages:2
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2022
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Non-contact Heart Rate Detection Based on Fusion Method of Visible Images and Infrared Images 2022 Wei, Juncun
An Improved TextRank-Based Method for Chinese Text Summarization 2022 Zheng, Xin
Intelligent Data Analysis System Based on Edge Computing 2022 Wang, Keyu
Knowledge Sharing Behavior for Academic Users of Social Media and Its Empirical Research 2022 Chen, Xiaoyu
A Non-autonom SIR Model in Epidemiology 2022 Qian, Yannan
Research on Regional Development Efficiency and Influencing Factors of China’s Ocean Energy Equipment Manufacturing 2022 Ma, Ruhao
Community Detection Based on Topology and Node Features in Social Networks 2022 Gao, Guangliang
Secure Evaluation of Discrete Sine Transform in Homomorphic Encrypted Domain 2022 Zeng, Huicong
Research on UAV Forensics and Its Key Technologies 2022 Liang, Guangjun
Research Progress and Trend of Coflow Time-Optimal Scheduling in Data Center Network 2022 Li, Deshun
A New Stock Forecasting Model by Hidden Quantum Markov Models 2022 Lu, Junyi
Efficient Management and Analysis Mechanism of Power Internet of Things Resources Based on Blockchain 2022 Chen, Liandong
Review of Detection and Avoidance of Interference Among Multiple Applications in Software-Defined Networks 2022 Yao, Jiangyuan
A Study of Heterogeneous Database Integration Based on Web Service and XML 2022 Xia, Minna
Adaptive Optimization of Dynamic Heterogeneous Network Topologies: A Simulated Annealing Methodology 2022 Zhuo, Ming
Infrared Ship Video Target Tracking Based on Cross-Connection and Spatial Transformer Network 2022 Liu, Zhaoying
A Novel Pruning Method Based on Correlation Applied in Full-Connection Layer Neurons 2022 Dong, Shuoyu
An Underwater Image Color Correction Algorithm Based on Underwater Scene Prior and Residual Network 2022 Huang, Mengxing
A Wireless Transmission Model of Power Grid Equipment State Based on Compressed Sensing 2022 Liu, Liyuan
Remface: Study on Mini-sized Mobilenetv2 and Retinaface 2022 Wang, Zhengran
Alle Artikel auflisten