{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:VQLXBDHVYPNUWPXECL5M6RR4MU","short_pith_number":"pith:VQLXBDHV","canonical_record":{"source":{"id":"1005.2050","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.NI","submitted_at":"2010-05-12T11:24:09Z","cross_cats_sorted":[],"title_canon_sha256":"971f80ca505be2887a3044cadc37fbbfbf949e6fe56932d78f44a9462331d0da","abstract_canon_sha256":"38352dc03c0a9337f3de476e49d61fc0f5a1ff1a2e35a9655ea7b4eca3935af7"},"schema_version":"1.0"},"canonical_sha256":"ac17708cf5c3db4b3ee412facf463c653ce539c541ffa7ac8d274b66072bf62b","source":{"kind":"arxiv","id":"1005.2050","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1005.2050","created_at":"2026-07-04T17:31:41Z"},{"alias_kind":"arxiv_version","alias_value":"1005.2050v1","created_at":"2026-07-04T17:31:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1005.2050","created_at":"2026-07-04T17:31:41Z"},{"alias_kind":"pith_short_12","alias_value":"VQLXBDHVYPNU","created_at":"2026-07-04T17:31:41Z"},{"alias_kind":"pith_short_16","alias_value":"VQLXBDHVYPNUWPXE","created_at":"2026-07-04T17:31:41Z"},{"alias_kind":"pith_short_8","alias_value":"VQLXBDHV","created_at":"2026-07-04T17:31:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:VQLXBDHVYPNUWPXECL5M6RR4MU","target":"record","payload":{"canonical_record":{"source":{"id":"1005.2050","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.NI","submitted_at":"2010-05-12T11:24:09Z","cross_cats_sorted":[],"title_canon_sha256":"971f80ca505be2887a3044cadc37fbbfbf949e6fe56932d78f44a9462331d0da","abstract_canon_sha256":"38352dc03c0a9337f3de476e49d61fc0f5a1ff1a2e35a9655ea7b4eca3935af7"},"schema_version":"1.0"},"canonical_sha256":"ac17708cf5c3db4b3ee412facf463c653ce539c541ffa7ac8d274b66072bf62b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T17:31:41.664673Z","signature_b64":"xN4ah2TnKqKQh1WSU0chRSqPEapvYlsSquQ/Ea39ZsO8A5+FbTIHGOGVOmzmycpBCs7SBIoF3sVN9SgVZODgAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ac17708cf5c3db4b3ee412facf463c653ce539c541ffa7ac8d274b66072bf62b","last_reissued_at":"2026-07-04T17:31:41.664222Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T17:31:41.664222Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1005.2050","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-04T17:31:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LwtUHN5d9ROGPuhGwn2wfHi8f0kJ+dEpWym0sLjRQaBD/qxmoBmwhve7adwdgfC0YDsT4tFdUXQcKzFQ/K3SBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T08:20:09.595490Z"},"content_sha256":"1dc8e97d1d1b9de7b2be9b7153142200b999406ef13271bee469b13429fe900c","schema_version":"1.0","event_id":"sha256:1dc8e97d1d1b9de7b2be9b7153142200b999406ef13271bee469b13429fe900c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:VQLXBDHVYPNUWPXECL5M6RR4MU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","headline":"","cross_cats":[],"primary_cat":"cs.NI","authors_text":"((1) National Engineering School of Tunis (ENIT), (2) CNAM - CEDRIC, France), Hafedh Zayani (1), Kamel Barkaoui (2), Rahma Ben Ayed (1), Tunisia","submitted_at":"2010-05-12T11:24:09Z","abstract_excerpt":"Communication protocols and techniques are often evaluated using simulation techniques. However, the use of formal modeling and analysis techniques for verification and evaluation in particular for Wireless Sensor Networks (WSN) becomes a necessity. In this paper we present a formal analysis of the backoff procedure integrated in the medium access control protocol named ECo-MAC designed for WSN. We describe this backoff procedure in terms of discrete time Markov chains (DTMCs) and evaluated using the well known probabilistic model checker PRISM. After checking the different invariants of the p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1005.2050","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1005.2050/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-04T17:31:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AhT6Yx0GMnrUfn3I/1qaJGcQdWXdngkgucCia74pyeI1sgIOmP0B1Ed5/2fiHvt05b+MkDP2zXxpa0cQOKbiDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T08:20:09.596009Z"},"content_sha256":"67c23213c02d4d2af15cf77d2d656ca6b70aec81282f37dd7865b54e6ea3a019","schema_version":"1.0","event_id":"sha256:67c23213c02d4d2af15cf77d2d656ca6b70aec81282f37dd7865b54e6ea3a019"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VQLXBDHVYPNUWPXECL5M6RR4MU/bundle.json","state_url":"https://pith.science/pith/VQLXBDHVYPNUWPXECL5M6RR4MU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VQLXBDHVYPNUWPXECL5M6RR4MU/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-20T08:20:09Z","links":{"resolver":"https://pith.science/pith/VQLXBDHVYPNUWPXECL5M6RR4MU","bundle":"https://pith.science/pith/VQLXBDHVYPNUWPXECL5M6RR4MU/bundle.json","state":"https://pith.science/pith/VQLXBDHVYPNUWPXECL5M6RR4MU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VQLXBDHVYPNUWPXECL5M6RR4MU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:VQLXBDHVYPNUWPXECL5M6RR4MU","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"38352dc03c0a9337f3de476e49d61fc0f5a1ff1a2e35a9655ea7b4eca3935af7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.NI","submitted_at":"2010-05-12T11:24:09Z","title_canon_sha256":"971f80ca505be2887a3044cadc37fbbfbf949e6fe56932d78f44a9462331d0da"},"schema_version":"1.0","source":{"id":"1005.2050","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1005.2050","created_at":"2026-07-04T17:31:41Z"},{"alias_kind":"arxiv_version","alias_value":"1005.2050v1","created_at":"2026-07-04T17:31:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1005.2050","created_at":"2026-07-04T17:31:41Z"},{"alias_kind":"pith_short_12","alias_value":"VQLXBDHVYPNU","created_at":"2026-07-04T17:31:41Z"},{"alias_kind":"pith_short_16","alias_value":"VQLXBDHVYPNUWPXE","created_at":"2026-07-04T17:31:41Z"},{"alias_kind":"pith_short_8","alias_value":"VQLXBDHV","created_at":"2026-07-04T17:31:41Z"}],"graph_snapshots":[{"event_id":"sha256:67c23213c02d4d2af15cf77d2d656ca6b70aec81282f37dd7865b54e6ea3a019","target":"graph","created_at":"2026-07-04T17:31:41Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1005.2050/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Communication protocols and techniques are often evaluated using simulation techniques. However, the use of formal modeling and analysis techniques for verification and evaluation in particular for Wireless Sensor Networks (WSN) becomes a necessity. In this paper we present a formal analysis of the backoff procedure integrated in the medium access control protocol named ECo-MAC designed for WSN. We describe this backoff procedure in terms of discrete time Markov chains (DTMCs) and evaluated using the well known probabilistic model checker PRISM. After checking the different invariants of the p","authors_text":"((1) National Engineering School of Tunis (ENIT), (2) CNAM - CEDRIC, France), Hafedh Zayani (1), Kamel Barkaoui (2), Rahma Ben Ayed (1), Tunisia","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.NI","submitted_at":"2010-05-12T11:24:09Z","title":"Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1005.2050","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:1dc8e97d1d1b9de7b2be9b7153142200b999406ef13271bee469b13429fe900c","target":"record","created_at":"2026-07-04T17:31:41Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"38352dc03c0a9337f3de476e49d61fc0f5a1ff1a2e35a9655ea7b4eca3935af7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.NI","submitted_at":"2010-05-12T11:24:09Z","title_canon_sha256":"971f80ca505be2887a3044cadc37fbbfbf949e6fe56932d78f44a9462331d0da"},"schema_version":"1.0","source":{"id":"1005.2050","kind":"arxiv","version":1}},"canonical_sha256":"ac17708cf5c3db4b3ee412facf463c653ce539c541ffa7ac8d274b66072bf62b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ac17708cf5c3db4b3ee412facf463c653ce539c541ffa7ac8d274b66072bf62b","first_computed_at":"2026-07-04T17:31:41.664222Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T17:31:41.664222Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xN4ah2TnKqKQh1WSU0chRSqPEapvYlsSquQ/Ea39ZsO8A5+FbTIHGOGVOmzmycpBCs7SBIoF3sVN9SgVZODgAg==","signature_status":"signed_v1","signed_at":"2026-07-04T17:31:41.664673Z","signed_message":"canonical_sha256_bytes"},"source_id":"1005.2050","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1dc8e97d1d1b9de7b2be9b7153142200b999406ef13271bee469b13429fe900c","sha256:67c23213c02d4d2af15cf77d2d656ca6b70aec81282f37dd7865b54e6ea3a019"],"state_sha256":"081c5fc3520102ff4572bd500885d4110adc4ed09781d319742898051f2d10cf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sC9N4cN58OHwq/B7Zu0bhF0k/YfK4B9219ytSY8KH7FOi091egYKnX/SksC4wVxzlozn/KNqDrV5DSADY5+6BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T08:20:09.602063Z","bundle_sha256":"b747b5ecd63f11c99d9f4c4e1756bbb8119750f5226cb082d7626010b5c357e9"}}