On the public citation graph
Formal Verification of Authentication and Service Authorization Protocols in 5G-Enabled Device-to-Device Communications Using ProVerif
0 signed · 67 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/sec.1149openalex-snapshot
Denial‐of‐service in content centric (named data) networking: a tutorial and state‐of‐the‐art survey
inferredcites →https://doi.org/10.1007/11513988_27openalex-snapshot
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
inferredcites →https://doi.org/10.1007/978-3-319-93387-0_31openalex-snapshot
KRB-CCN: Lightweight Authentication and Access Control for Private Content-Centric Networks
inferredcites →https://doi.org/10.1007/s11036-017-0870-5openalex-snapshot
UAKA-D2D: Universal Authentication and Key Agreement Protocol in D2D Communications
inferredcites →https://doi.org/10.1007/s11432-020-2852-1openalex-snapshot
Ultra-reliable and low-latency communications: applications, opportunities and challenges
inferredcites →https://doi.org/10.1016/j.cose.2019.06.003openalex-snapshot
LAAP: Lightweight anonymous authentication protocol for D2D-Aided fog computing paradigm
inferredcites →https://doi.org/10.1016/j.future.2017.08.052openalex-snapshot
Flexible data access control in D2D communications
inferredcites →https://doi.org/10.1016/j.future.2020.01.057openalex-snapshot
Tactile Internet: Technologies, test platforms, trials, and applications
inferredcites →https://doi.org/10.1016/j.future.2021.01.021openalex-snapshot
Security and Energy-aware Collaborative Task Offloading in D2D communication
inferredcites →https://doi.org/10.1016/j.ins.2019.06.067openalex-snapshot
Constant-round authenticated and dynamic group key agreement protocol for D2D group communications
inferredcites →https://doi.org/10.1016/j.jnca.2016.11.002openalex-snapshot
A survey on device-to-device (D2D) communication: Architecture and security issues
inferredcites →https://doi.org/10.1109/5gwf.2018.8517046openalex-snapshot
Deploying ICN in 3GPP’s 5G NextGen Core Architecture
inferredcites →https://doi.org/10.1109/access.2015.2461602openalex-snapshot
A Survey of 5G Network: Architecture and Emerging Technologies
inferredcites →https://doi.org/10.1109/access.2017.2781736openalex-snapshot
Mobility as a Service (MaaS): A D2D-Based Information Centric Network Architecture for Edge-Controlled Content Distribution
inferredcites →https://doi.org/10.1109/access.2018.2874066openalex-snapshot
Robust and Scalable Data Access Control in D2D Communications
inferredcites →https://doi.org/10.1109/access.2019.2962856openalex-snapshot
Content-Centric Mobile Edge Caching
inferredcites →https://doi.org/10.1109/comst.2014.2355255openalex-snapshot
Cloud RAN for Mobile Networks—A Technology Overview
inferredcites →https://doi.org/10.1109/comst.2017.2649687openalex-snapshot
Security and Privacy in Device-to-Device (D2D) Communication: A Review
inferredcites →https://doi.org/10.1109/comst.2017.2749508openalex-snapshot
Security, Privacy, and Access Control in Information-Centric Networking: A Survey
inferredcites →https://doi.org/10.1109/csfw.1997.596782openalex-snapshot
A hierarchy of authentication specifications
inferredcites →https://doi.org/10.1109/euc.2014.23openalex-snapshot
A DHT-Based Scalable Approach for Device and Service Discovery
inferredcites →https://doi.org/10.1109/fmec49853.2020.9144706openalex-snapshot
Network Service Federated Identity (NS- FId) Protocol for Service Authorization in 5G Network
inferredcites →https://doi.org/10.1109/fmec49853.2020.9144855openalex-snapshot
The Case for Federated Identity Management in 5G Communications
inferredcites →https://doi.org/10.1109/iccw.2018.8403769openalex-snapshot
5G NR Jamming, Spoofing, and Sniffing: Threat Assessment and Mitigation
inferredcites →https://doi.org/10.1109/jcn.2014.000095openalex-snapshot
Mobile device-to-device (D2D) content delivery networking: A design and optimization framework
inferredcites →https://doi.org/10.1109/mcom.2013.6495773openalex-snapshot
Femtocaching and device-to-device collaboration: A new architecture for wireless video distribution
inferredcites →https://doi.org/10.1109/mcom.2014.6871674openalex-snapshot
Living on the edge: The role of proactive caching in 5G wireless networks
inferredcites →https://doi.org/10.1109/mcom.2015.7010536openalex-snapshot
Enabling device-to-device communications in millimeter-wave 5G cellular networks
inferredcites →https://doi.org/10.1109/mnet.2017.1600290openalex-snapshot
Security-Aware and Privacy-Preserving D2D Communications in 5G
inferredcites →https://doi.org/10.1109/mownet.2018.8428890openalex-snapshot
A lightweight key distribution scheme for secure D2D communication
inferredcites →https://doi.org/10.1109/mwc.2017.1500384wcopenalex-snapshot
Information-Centric Wireless Networks with Virtualization and D2D Communications
inferredcites →https://doi.org/10.1109/sds49854.2020.9143899openalex-snapshot
Formal Verification and Analysis of Primary Authentication based on 5G-AKA Protocol
inferredcites →https://doi.org/10.1109/smartworld-uic-atc-scalcom-iop-sci.2019.00248openalex-snapshot
AAKA-D2D: Anonymous Authentication and Key Agreement Protocol in D2D Communications
inferredcites →https://doi.org/10.1109/smartworld-uic-atc-scalcom-iop-sci.2019.00296openalex-snapshot
Investigating Network Services Abstraction in 5G Enabled Device-to-Device (D2D) Communications
inferredcites →https://doi.org/10.1109/tgcn.2020.3045687openalex-snapshot
Energy-Efficient Precoder Design for Downlink Multi-User MISO Networks With Finite Blocklength Codes
inferredcites →https://doi.org/10.1109/tit.1983.1056650openalex-snapshot
On the security of public key protocols
inferredcites →https://doi.org/10.1109/tits.2020.3013928openalex-snapshot
HDMA: Hybrid D2D Message Authentication Scheme for 5G-Enabled VANETs
inferredcites →https://doi.org/10.1109/tvt.2015.2416002openalex-snapshot
SeDS: Secure Data Sharing Strategy for D2D Communication in LTE-Advanced Networks
inferredcites →https://doi.org/10.1109/tvt.2017.2789022openalex-snapshot
Optimization-Based Access Assignment Scheme for Physical-Layer Security in D2D Communications Underlaying a Cellular Network
inferredcites →https://doi.org/10.1109/twc.2018.2836937openalex-snapshot
A D2D-Based Protocol for Ultra-Reliable Wireless Communications for Industrial Automation
inferredcites →https://doi.org/10.1109/vtcfall.2019.8891531openalex-snapshot
Lightweight and Secure D2D Authentication & Key Management Based on PLS
inferredcites →https://doi.org/10.1137/s0097539701398521openalex-snapshot
Identity-Based Encryption from the Weil Pairing
inferredcites →https://doi.org/10.1201/9781439821916openalex-snapshot
Handbook of Applied Cryptography
inferredcites →https://doi.org/10.1504/ijsn.2021.119379openalex-snapshot
Formal verification of secondary authentication protocol for 5G secondary authentication
inferredcites →https://doi.org/10.3390/app10010217openalex-snapshot
Secure D2D Communication for 5G IoT Network Based on Lightweight Cryptography
inferredcites →https://doi.org/10.3390/s20072072openalex-snapshot
Mutual Authentication Protocol for D2D Communications in a Cloud-Based E-Health System
inferredcites →https://doi.org/10.5220/0005566303770383openalex-snapshot
A Formally Verified Access Control Mechanism for Information Centric Networks
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/int.23036openalex-snapshot
A differential privacy‐preserving deep learning caching framework for heterogeneous communication network systems
inferred← citeshttps://doi.org/10.1007/978-3-031-06788-4_42openalex-snapshot
Formal Verification of Security Protocols: ProVerif and Extensions
inferred← citeshttps://doi.org/10.1007/s11235-024-01105-wopenalex-snapshot
Attack detection and mitigation using Intelligent attack graph model for Forensic in IoT Networks
inferred← citeshttps://doi.org/10.1016/j.iot.2023.100913openalex-snapshot
Performance and cryptographic evaluation of security protocols in distributed networks using applied pi calculus and Markov Chain
inferred← citeshttps://doi.org/10.1109/icnsc58704.2023.10319037openalex-snapshot
Dynamic Leader Selection Protocol for secure Out-of-Coverage D2D Group Communications in 5G Networks
inferred← citeshttps://doi.org/10.1109/icocics68032.2025.11383856openalex-snapshot
Formal Analysis of the Munilla Authentication Protocol Using ProVerif
inferred← citeshttps://doi.org/10.1109/icsip55141.2022.9887218openalex-snapshot
Security Verification of Key Exchange in Ciphertext-Policy Attribute Based Encryption
inferred← citeshttps://doi.org/10.1109/tdsc.2023.3314908openalex-snapshot
TrinitySec: Trinity-Enabled and Lightweight Security Framework for CAN-FD Communication
inferred← citeshttps://doi.org/10.1109/tdsc.2025.3646041openalex-snapshot
LigSecOTA: Lightweight Over-the-Air (OTA) Software Updates With Integrated Security
inferred← citeshttps://doi.org/10.1145/3723890.3723914openalex-snapshot
A secure D2D anonymous authentication and key agreement protocol for IoT
inferred← citeshttps://doi.org/10.32604/cmc.2025.066579openalex-snapshot
Security Challenges and Analysis Tools in Internet of Health Things: A Comprehensive Review
inferred← citeshttps://doi.org/10.33168/jsms.2022.0204openalex-snapshot
Mobile Device Security: A Systematic Literature Review on Research Trends, Methods and Datasets
inferred← citeshttps://doi.org/10.3390/computers12010002openalex-snapshot
Privacy-Enhanced AKMA for Multi-Access Edge Computing Mobility
inferred← citeshttps://doi.org/10.3390/drones8080359openalex-snapshot
A Quantum-Resistant Identity Authentication and Key Agreement Scheme for UAV Networks Based on Kyber Algorithm
inferred← citeshttps://doi.org/10.3390/electronics12051217openalex-snapshot
Distributed and Federated Authentication Schemes Based on Updatable Smart Contracts
inferred← citeshttps://doi.org/10.3390/electronics12132917openalex-snapshot
Research on Identity Authentication Scheme for UAV Communication Network
inferred← citeshttps://doi.org/10.3390/electronics14030580openalex-snapshot
Enhancing Hospital Data Security: A Blockchain-Based Protocol for Secure Information Sharing and Recovery
inferred← citeshttps://doi.org/10.3390/network1020006openalex-snapshot
DCSS Protocol for Data Caching and Sharing Security in a 5G Network
inferred← citeshttps://doi.org/10.3390/network2030026openalex-snapshot
An Introduction of a Modular Framework for Securing 5G Networks and Beyond
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.