Formal probabilistic analysis of detection properties in wireless sensor networks

DOI10.1007/S00165-014-0304-0zbMATH Open1328.68037OpenAlexW2071975066MaRDI QIDQ903510FDOQ903510

Authors: Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Amine Abid 

Publication date: 6 January 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-014-0304-0

Recommendations

• Intrusion detection in a \(K\)-Gaussian distributed wireless sensor network
• Reliability of wireless sensors with code attestation for intrusion detection
• Reliability analysis of wireless sensor networks using Markovian model
• Semantic analysis of gossip protocols for wireless sensor networks
• Randomly deployed wireless sensor networks

zbMATH Keywords

schedulingtheorem provingperformance analysiswireless sensor networksdetection probabilitydetection delay

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proofs of randomized algorithms in Coq
• Three chapters of measure theory in Isabelle/HOL
• On the formalization of the Lebesgue integration theory in HOL
• Formalization of Continuous Probability Distributions
• Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
• Title not available (Why is that?)
• Coverage and Detection of a Randomized Scheduling Algorithm in Wireless Sensor Networks
• Two and three-dimensional intrusion object detection under randomized scheduling algorithms in sensor networks
• Using theorem proving to verify expectation and variance for discrete random variables
• Formalization of entropy measures in HOL

Cited In (4)

• Reliability of wireless sensors with code attestation for intrusion detection
• A statistical analysis on the leak detection performance of underground and overground pipelines with wireless sensor networks through the maximum likelihood ratio test
• State space reduction for sensor networks using two-level partial order reduction
• Formalization of normal random variables in HOL

Uses Software

• PRISM
• ML
• HOL
• Maude
• PMaude

This page was built for publication: Formal probabilistic analysis of detection properties in wireless sensor networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q903510)