{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:XOZIVB6NOLR52PLGCI2AQXVQRQ","short_pith_number":"pith:XOZIVB6N","canonical_record":{"source":{"id":"1512.07352","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2015-12-23T04:39:23Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"6b96edc58c9133249c12f96ac0000d98cc93e6292960c22d2eb894efc3744fc6","abstract_canon_sha256":"c4fc061d206331270e741a15787aa80401ce138fb0d104685da40d0232d6f765"},"schema_version":"1.0"},"canonical_sha256":"bbb28a87cd72e3dd3d661234085eb08c321ea22f0360a908bb1594c61283a562","source":{"kind":"arxiv","id":"1512.07352","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.07352","created_at":"2026-05-18T01:23:49Z"},{"alias_kind":"arxiv_version","alias_value":"1512.07352v1","created_at":"2026-05-18T01:23:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.07352","created_at":"2026-05-18T01:23:49Z"},{"alias_kind":"pith_short_12","alias_value":"XOZIVB6NOLR5","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"XOZIVB6NOLR52PLG","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"XOZIVB6N","created_at":"2026-05-18T12:29:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:XOZIVB6NOLR52PLGCI2AQXVQRQ","target":"record","payload":{"canonical_record":{"source":{"id":"1512.07352","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2015-12-23T04:39:23Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"6b96edc58c9133249c12f96ac0000d98cc93e6292960c22d2eb894efc3744fc6","abstract_canon_sha256":"c4fc061d206331270e741a15787aa80401ce138fb0d104685da40d0232d6f765"},"schema_version":"1.0"},"canonical_sha256":"bbb28a87cd72e3dd3d661234085eb08c321ea22f0360a908bb1594c61283a562","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:23:49.912683Z","signature_b64":"+KQg8iv/fkY6iJuCYEZECasxASEEi+t3nMS5Lb5C6Udfo9cnIADiuTcuTaTH7Ae4dSdtd0R50Dp4FCmH6c9XCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bbb28a87cd72e3dd3d661234085eb08c321ea22f0360a908bb1594c61283a562","last_reissued_at":"2026-05-18T01:23:49.911861Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:23:49.911861Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1512.07352","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-05-18T01:23:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1E4oyV8s0zbwQAvpyZWkSAiS1Nn7ZGtvOEXssiy0BLBLvswvCk/R6iV3vvu7JrLAnl7pall7PtHd3XCQ4l5SDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T19:22:40.441114Z"},"content_sha256":"a8f012e043799fc1f78b707ef87b381270607a4b71ee27dc50e14f64f4afd4be","schema_version":"1.0","event_id":"sha256:a8f012e043799fc1f78b707ef87b381270607a4b71ee27dc50e14f64f4afd4be"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:XOZIVB6NOLR52PLGCI2AQXVQRQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automated Analysis of AODV using UPPAAL","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.NI","authors_text":"Annabelle McIver, Ansgar Fehnker, Marius Portmann, Peter H\\\"ofner, Rob van Glabbeek, Wee Lum Tan","submitted_at":"2015-12-23T04:39:23Z","abstract_excerpt":"This paper describes an automated, formal and rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol, a popular protocol used in wireless mesh networks.\n  We give a brief overview of a model of AODV implemented in the UPPAAL model checker. It is derived from a process-algebraic model which reflects precisely the intention of AODV and accurately captures the protocol specification. Furthermore, we describe experiments carried out to explore AODV's behaviour in all network topologies up to 5 nodes. We were able to automatically locate problematic and undesirable behavi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.07352","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":""},"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-05-18T01:23:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SM4+vzBwAowMAlQBY0iNEdctrMHMntaBUcFKt0lKtiKYPWMcw0zSl/Y750B1kE/Fu2oPEavaqWcqFsS9UbaOAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T19:22:40.441783Z"},"content_sha256":"1b10deda450740916d2c1cbf5b5092c304cb57b249fc9ae59241b5adb230b13d","schema_version":"1.0","event_id":"sha256:1b10deda450740916d2c1cbf5b5092c304cb57b249fc9ae59241b5adb230b13d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XOZIVB6NOLR52PLGCI2AQXVQRQ/bundle.json","state_url":"https://pith.science/pith/XOZIVB6NOLR52PLGCI2AQXVQRQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XOZIVB6NOLR52PLGCI2AQXVQRQ/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-05-27T19:22:40Z","links":{"resolver":"https://pith.science/pith/XOZIVB6NOLR52PLGCI2AQXVQRQ","bundle":"https://pith.science/pith/XOZIVB6NOLR52PLGCI2AQXVQRQ/bundle.json","state":"https://pith.science/pith/XOZIVB6NOLR52PLGCI2AQXVQRQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XOZIVB6NOLR52PLGCI2AQXVQRQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:XOZIVB6NOLR52PLGCI2AQXVQRQ","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":"c4fc061d206331270e741a15787aa80401ce138fb0d104685da40d0232d6f765","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2015-12-23T04:39:23Z","title_canon_sha256":"6b96edc58c9133249c12f96ac0000d98cc93e6292960c22d2eb894efc3744fc6"},"schema_version":"1.0","source":{"id":"1512.07352","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.07352","created_at":"2026-05-18T01:23:49Z"},{"alias_kind":"arxiv_version","alias_value":"1512.07352v1","created_at":"2026-05-18T01:23:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.07352","created_at":"2026-05-18T01:23:49Z"},{"alias_kind":"pith_short_12","alias_value":"XOZIVB6NOLR5","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"XOZIVB6NOLR52PLG","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"XOZIVB6N","created_at":"2026-05-18T12:29:50Z"}],"graph_snapshots":[{"event_id":"sha256:1b10deda450740916d2c1cbf5b5092c304cb57b249fc9ae59241b5adb230b13d","target":"graph","created_at":"2026-05-18T01:23:49Z","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"},"paper":{"abstract_excerpt":"This paper describes an automated, formal and rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol, a popular protocol used in wireless mesh networks.\n  We give a brief overview of a model of AODV implemented in the UPPAAL model checker. It is derived from a process-algebraic model which reflects precisely the intention of AODV and accurately captures the protocol specification. Furthermore, we describe experiments carried out to explore AODV's behaviour in all network topologies up to 5 nodes. We were able to automatically locate problematic and undesirable behavi","authors_text":"Annabelle McIver, Ansgar Fehnker, Marius Portmann, Peter H\\\"ofner, Rob van Glabbeek, Wee Lum Tan","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2015-12-23T04:39:23Z","title":"Automated Analysis of AODV using UPPAAL"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.07352","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:a8f012e043799fc1f78b707ef87b381270607a4b71ee27dc50e14f64f4afd4be","target":"record","created_at":"2026-05-18T01:23:49Z","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":"c4fc061d206331270e741a15787aa80401ce138fb0d104685da40d0232d6f765","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2015-12-23T04:39:23Z","title_canon_sha256":"6b96edc58c9133249c12f96ac0000d98cc93e6292960c22d2eb894efc3744fc6"},"schema_version":"1.0","source":{"id":"1512.07352","kind":"arxiv","version":1}},"canonical_sha256":"bbb28a87cd72e3dd3d661234085eb08c321ea22f0360a908bb1594c61283a562","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bbb28a87cd72e3dd3d661234085eb08c321ea22f0360a908bb1594c61283a562","first_computed_at":"2026-05-18T01:23:49.911861Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:23:49.911861Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+KQg8iv/fkY6iJuCYEZECasxASEEi+t3nMS5Lb5C6Udfo9cnIADiuTcuTaTH7Ae4dSdtd0R50Dp4FCmH6c9XCA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:23:49.912683Z","signed_message":"canonical_sha256_bytes"},"source_id":"1512.07352","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a8f012e043799fc1f78b707ef87b381270607a4b71ee27dc50e14f64f4afd4be","sha256:1b10deda450740916d2c1cbf5b5092c304cb57b249fc9ae59241b5adb230b13d"],"state_sha256":"c8ce1177dcf9ed8c05b4b02c8906b89c3dfe0205bb33eb8c036916ad733a3fb7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qsh1u3jQZR5nIPDFIQQNOaZYohGpdRmxQaQXbnMv+SWof00EE9GQjgdbEc5Dl2p+p/zcQIG3LrdQl1JP7JMlBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T19:22:40.445709Z","bundle_sha256":"995c7a1799c2d046c861f618060d8dbf1ceb547394f77a111b8ace45f87d6fc5"}}