On the public citation graph
Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets
0 signed · 55 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.794openalex-snapshot
Modeling and formal verification of smart environments
inferredcites →https://doi.org/10.1007/978-3-030-00856-7_27openalex-snapshot
Ensuring the Functional Correctness of IoT through Formal Modeling and Verification
inferredcites →https://doi.org/10.1007/978-3-319-58460-7_24openalex-snapshot
Formal Modeling and Analysis with Humans in Infrastructures for IoT Health Care Systems
inferredcites →https://doi.org/10.1007/978-3-319-69462-7_42openalex-snapshot
Formal Model and Method to Decompose Process-Aware IoT Applications
inferredcites →https://doi.org/10.1007/978-3-642-35746-6_1openalex-snapshot
Model Checking and the State Explosion Problem
inferredcites →https://doi.org/10.1007/978-3-642-40316-3_30openalex-snapshot
RPL Objective Function Impact on LLNs Topology and Performance
inferredcites →https://doi.org/10.1007/s12652-013-0209-4openalex-snapshot
Design-time formal verification for smart environments: an exploratory perspective
inferredcites →https://doi.org/10.1016/j.adhoc.2015.05.013openalex-snapshot
A formal model and analysis of an IoT protocol
inferredcites →https://doi.org/10.1016/j.clsr.2009.11.008openalex-snapshot
Internet of Things – New security and privacy challenges
inferredcites →https://doi.org/10.1016/j.cose.2017.05.012openalex-snapshot
IoTChecker: A data-driven framework for security analytics of Internet of Things configurations
inferredcites →https://doi.org/10.1016/j.future.2013.01.010openalex-snapshot
Internet of Things (IoT): A vision, architectural elements, and future directions
inferredcites →https://doi.org/10.1016/j.future.2017.11.022openalex-snapshot
IoT security: Review, blockchain solutions, and open challenges
inferredcites →https://doi.org/10.1016/j.jnca.2014.11.011openalex-snapshot
Autonomic schemes for threat mitigation in Internet of Things
inferredcites →https://doi.org/10.1016/j.pmcj.2012.03.001openalex-snapshot
Formal verification of context and situation models in pervasive computing
inferredcites →https://doi.org/10.1109/atc.2014.7043425openalex-snapshot
RPL-based multipath Routing Protocols for Internet of Things on Wireless Sensor Networks
inferredcites →https://doi.org/10.1109/comst.2015.2444095openalex-snapshot
Internet of Things: A Survey on Enabling Technologies, Protocols, and Applications
inferredcites →https://doi.org/10.1109/comst.2018.2885894openalex-snapshot
Routing Attacks and Mitigation Methods for RPL-Based Internet of Things
inferredcites →https://doi.org/10.1109/cybersa49311.2020.9139695openalex-snapshot
Analysis of the RPL Version Number Attack with Multiple Attackers
inferredcites →https://doi.org/10.1109/etiict.2017.7977006openalex-snapshot
Security attacks and secure routing protocols in RPL-based Internet of Things: Survey
inferredcites →https://doi.org/10.1109/icce.2017.7889238openalex-snapshot
A support tool to design IoT services with NuSMV
inferredcites →https://doi.org/10.1109/icitst.2015.7412116openalex-snapshot
Internet of things (IoT) security: Current status, challenges and prospective measures
inferredcites →https://doi.org/10.1109/issnip.2015.7106958openalex-snapshot
Energy efficient green routing protocol for Internet of Multimedia Things
inferredcites →https://doi.org/10.1109/itng.2010.104openalex-snapshot
The Internet of Things for Ambient Assisted Living
inferredcites →https://doi.org/10.1109/jiot.2014.2312291openalex-snapshot
Research Directions for the Internet of Things
inferredcites →https://doi.org/10.1109/pdgc.2014.7030783openalex-snapshot
Simulation and analysis of authentication protocols for mobile Internet of Things (MIoT)
inferredcites →https://doi.org/10.1109/softcom.2013.6671893openalex-snapshot
Performance evaluation of end-to-end security protocols in an Internet of Things
inferredcites →https://doi.org/10.1109/surv.2013.042313.00197openalex-snapshot
Context Aware Computing for The Internet of Things: A Survey
inferredcites →https://doi.org/10.1109/tase.2015.2497800openalex-snapshot
IoT-Enabled Real-Time Production Performance Analysis and Exception Diagnosis Model
inferredcites →https://doi.org/10.1109/tmc.2016.2573304openalex-snapshot
Traffic Decorrelation Techniques for Countering a Global Eavesdropper in WSNs
inferredcites →https://doi.org/10.1109/trustcom/bigdatase/icess.2017.265openalex-snapshot
A Near-Optimal Source Location Privacy Scheme for Wireless Sensor Networks
inferredcites →https://doi.org/10.1145/1921641.1921650openalex-snapshot
Formal Specification and Verification of Ubiquitous and Pervasive Systems
inferredcites →https://doi.org/10.1145/2566468.2566484openalex-snapshot
A formal verification approach to revealing stealth attacks on networked control systems
inferredcites →https://doi.org/10.1145/2602087.2602107openalex-snapshot
Implementing moving target IPv6 defense to secure 6LoWPAN in the internet of things and smart grid
inferredcites →https://doi.org/10.1145/2642803.2642807openalex-snapshot
Towards Run-Time Verification of Adaptive Security for IoT in eHealth
inferredcites →https://doi.org/10.1145/2661061.2661063openalex-snapshot
Abstractions for software-defined networks
inferredcites →https://doi.org/10.1145/2897035.2897041openalex-snapshot
Model-based security analysis of a water treatment system
inferredcites →https://doi.org/10.1145/2991079.2991085openalex-snapshot
Formal security analysis of smart embedded systems
inferredcites →https://doi.org/10.1155/2016/8128651openalex-snapshot
Toward Improved RPL: A Congestion Avoidance Multipath Routing Protocol with Time Factor for Wireless Sensor Networks
inferredcites →https://doi.org/10.1155/2018/9174568openalex-snapshot
Modeling and Optimization for Collaborative Business Process Towards IoT Applications
inferredcites →https://doi.org/10.1371/journal.pone.0146760openalex-snapshot
Modeling the Internet of Things, Self-Organizing and Other Complex Adaptive Communication Networks: A Cognitive Agent-Based Computing Approach
inferredcites →https://doi.org/10.17487/rfc6550openalex-snapshot
RPL: IPv6 Routing Protocol for Low-Power and Lossy Networks
inferredcites →https://doi.org/10.17487/rfc6552openalex-snapshot
Objective Function Zero for the Routing Protocol for Low-Power and Lossy Networks (RPL)
inferredcites →https://doi.org/10.17487/rfc6553openalex-snapshot
The Routing Protocol for Low-Power and Lossy Networks (RPL) Option for Carrying RPL Information in Data-Plane Datagrams
inferredcites →https://doi.org/10.2313/net-2011-07-1_09openalex-snapshot
RPL: IPv6 Routing Protocol for LOW Power and Lossy Networks
inferredcites →https://doi.org/10.3390/app10186472openalex-snapshot
Security Aspects for Rpl-Based Protocols: A Systematic Review in IoT
inferredcites →https://doi.org/10.3390/electronics10192320openalex-snapshot
Routing Protocols for Mobile Internet of Things (IoT): A Survey on Challenges and Solutions
inferredcites →https://doi.org/10.7717/peerj-cs.351openalex-snapshot
Petri Net based modeling and analysis for improved resource utilization in cloud computing
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.4980329openalex-extracted
Correctness and Security Analysis of the Protection in Transit (Pit Protocol)
inferred← citeshttps://doi.org/10.1016/j.jisa.2026.104570openalex-snapshot
A lightweight authentication and key agreement scheme for the DLMS/COSEM protocol
inferred← citeshttps://doi.org/10.1016/j.jocs.2024.102455openalex-snapshot
Modeling and simulation of Fuzzy-rule based WBAN using multi-level fuzzy colored petri-nets and reinforcement learning
inferred← citeshttps://doi.org/10.1016/j.jss.2025.112501openalex-snapshot
Correctness and security analysis of the protection in transit (PIT) protocol
inferred← citeshttps://doi.org/10.1109/icciaa68481.2026.11543579openalex-snapshot
Blockchain Tamper Evident Telemetry for RPL IoT Security Analytics
inferred← citeshttps://doi.org/10.1145/3685934openalex-snapshot
Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs
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.