Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
https://ruomo.lib.uom.gr/handle/7000/567
Τίτλος: | Survivability Analysis Using Probabilistic Model Checking: A Study on Wireless Sensor Networks |
Συγγραφείς: | Petridou, Sophia Basagiannis, Stylianos Roumeliotis, Manos |
Τύπος: | Article |
Θέματα: | FRASCATI::Natural sciences::Computer and information sciences |
Λέξεις-Κλειδιά: | Survivability Wireless Sensor Networks Probabilistic Model Checking PRISM |
Ημερομηνία Έκδοσης: | Μαρ-2013 |
Εκδότης: | IEEE |
Πηγή: | IEEE Systems Journal |
Τόμος: | 7 |
Τεύχος: | 1 |
Πρώτη Σελίδα: | 4 |
Τελευταία Σελίδα: | 12 |
Επιτομή: | Survivability of a wireless sensor network (WSN) reflects the ability of the network to fulfill its mission despite the presence of abnormal events, such as failures. Given that sensor networks are receiving increasing attention due to the wide range of their applications, which include the critical areas of health, and military and security, survivability constitutes a key property for their study. This paper proposes a quantitative analysis for survivability evaluation of wireless sensors networks using probabilistic model checking. We define network survivability in line with four measures, namely, the frequency of failures, the data loss, the delay, and the compromised data due to a variety of failures. In particular, three types of failure events are considered, namely, node, link, and attack failures, which are due to power faults, communication faults, and black hole attacks, respectively. Then, we represent network's behavior with continuous-time Markov chains and randomly inject the aforementioned faults and attacks in the network to derive results that quantify the impact of them. Although the proposed study considers and provides results for a WSN architecture, it has the potential of being exploited in different networks with their own specifications. |
URI: | https://doi.org/10.1109/JSYST.2012.2224612 https://ruomo.lib.uom.gr/handle/7000/567 |
ISSN: | 1932-8184 |
Ηλεκτρονικό ISSN: | 1937-9234 |
Αλλοι Προσδιοριστές: | 10.1109/JSYST.2012.2224612 |
Εμφανίζεται στις Συλλογές: | Τμήμα Εφαρμοσμένης Πληροφορικής |
Αρχεία σε αυτό το Τεκμήριο:
Αρχείο | Περιγραφή | Μέγεθος | Μορφότυπος | |
---|---|---|---|---|
IEEESJ_2013_Survivability.pdf | 876,51 kB | Adobe PDF | Προβολή/Ανοιγμα |
Τα τεκμήρια στο Αποθετήριο προστατεύονται από πνευματικά δικαιώματα, εκτός αν αναφέρεται κάτι διαφορετικό.