{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:MDVVMYCUAGB4CZDL6LLR5HUAJU","short_pith_number":"pith:MDVVMYCU","canonical_record":{"source":{"id":"2405.11141","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-05-18T02:10:41Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"c3d74ea484b826faa7d6f9a3963aa0f7cbde8715193b56710aefe7b15ba036e6","abstract_canon_sha256":"42b95e8d89f0dd8e95a61e3a0075921c07cc1e423b43424e4f8269bc02c15bba"},"schema_version":"1.0"},"canonical_sha256":"60eb5660540183c1646bf2d71e9e804d1eca5bed0d03e411fbca897a51728d85","source":{"kind":"arxiv","id":"2405.11141","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.11141","created_at":"2026-07-05T08:43:28Z"},{"alias_kind":"arxiv_version","alias_value":"2405.11141v2","created_at":"2026-07-05T08:43:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.11141","created_at":"2026-07-05T08:43:28Z"},{"alias_kind":"pith_short_12","alias_value":"MDVVMYCUAGB4","created_at":"2026-07-05T08:43:28Z"},{"alias_kind":"pith_short_16","alias_value":"MDVVMYCUAGB4CZDL","created_at":"2026-07-05T08:43:28Z"},{"alias_kind":"pith_short_8","alias_value":"MDVVMYCU","created_at":"2026-07-05T08:43:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:MDVVMYCUAGB4CZDL6LLR5HUAJU","target":"record","payload":{"canonical_record":{"source":{"id":"2405.11141","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-05-18T02:10:41Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"c3d74ea484b826faa7d6f9a3963aa0f7cbde8715193b56710aefe7b15ba036e6","abstract_canon_sha256":"42b95e8d89f0dd8e95a61e3a0075921c07cc1e423b43424e4f8269bc02c15bba"},"schema_version":"1.0"},"canonical_sha256":"60eb5660540183c1646bf2d71e9e804d1eca5bed0d03e411fbca897a51728d85","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:43:28.375587Z","signature_b64":"MLgLcShK3mR8O2J+To8GZwq7NYkIOmjIy/n8W8q3VylAlYrK7YEYHV/lTzAmZRXaGL4NQlvTPVu40WeOtN0xDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"60eb5660540183c1646bf2d71e9e804d1eca5bed0d03e411fbca897a51728d85","last_reissued_at":"2026-07-05T08:43:28.375187Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:43:28.375187Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.11141","source_version":2,"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-05T08:43:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CvyHyxe6lIn7+hkC1yKzzOFQAgJAegrHD9xeXMvgxj5IhOelg0fHfa3aZecTrEuCpyrLrJAAbg1mz33feD18Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T17:21:05.858237Z"},"content_sha256":"34f22c1b765b5c3a8f169b2bf5fedf662ee651c286def107e08dda9de220f8e9","schema_version":"1.0","event_id":"sha256:34f22c1b765b5c3a8f169b2bf5fedf662ee651c286def107e08dda9de220f8e9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:MDVVMYCUAGB4CZDL6LLR5HUAJU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CR","authors_text":"Mehrdad Sabetzadeh, Negin Ayoughi, Patricio Saavedra, Shiva Nejati","submitted_at":"2024-05-18T02:10:41Z","abstract_excerpt":"Intrusion detection systems are crucial for network security. Verification of these systems is complicated by various factors, including the heterogeneity of network platforms and the continuously changing landscape of cyber threats. In this paper, we use automata learning to derive state machines from network-traffic data with the objective of supporting behavioural verification of intrusion detection systems. The most innovative aspect of our work is addressing the inability to directly apply existing automata learning techniques to network-traffic data due to the numeric nature of such data"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.11141","kind":"arxiv","version":2},"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/2405.11141/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-05T08:43:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q2gMX0QswJcWZA53ReevknTrbufrLl/tLyLOOumyvb1IhFLpyOsndRxFWjGp8+QJofPkKIBrjDDdc2wVV+84CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T17:21:05.859147Z"},"content_sha256":"bda6cc1206487b66fc10884c3c8bec2b2a07ef51b906aa5c33fd1e8dfde82587","schema_version":"1.0","event_id":"sha256:bda6cc1206487b66fc10884c3c8bec2b2a07ef51b906aa5c33fd1e8dfde82587"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MDVVMYCUAGB4CZDL6LLR5HUAJU/bundle.json","state_url":"https://pith.science/pith/MDVVMYCUAGB4CZDL6LLR5HUAJU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MDVVMYCUAGB4CZDL6LLR5HUAJU/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-15T17:21:05Z","links":{"resolver":"https://pith.science/pith/MDVVMYCUAGB4CZDL6LLR5HUAJU","bundle":"https://pith.science/pith/MDVVMYCUAGB4CZDL6LLR5HUAJU/bundle.json","state":"https://pith.science/pith/MDVVMYCUAGB4CZDL6LLR5HUAJU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MDVVMYCUAGB4CZDL6LLR5HUAJU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:MDVVMYCUAGB4CZDL6LLR5HUAJU","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":"42b95e8d89f0dd8e95a61e3a0075921c07cc1e423b43424e4f8269bc02c15bba","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-05-18T02:10:41Z","title_canon_sha256":"c3d74ea484b826faa7d6f9a3963aa0f7cbde8715193b56710aefe7b15ba036e6"},"schema_version":"1.0","source":{"id":"2405.11141","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.11141","created_at":"2026-07-05T08:43:28Z"},{"alias_kind":"arxiv_version","alias_value":"2405.11141v2","created_at":"2026-07-05T08:43:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.11141","created_at":"2026-07-05T08:43:28Z"},{"alias_kind":"pith_short_12","alias_value":"MDVVMYCUAGB4","created_at":"2026-07-05T08:43:28Z"},{"alias_kind":"pith_short_16","alias_value":"MDVVMYCUAGB4CZDL","created_at":"2026-07-05T08:43:28Z"},{"alias_kind":"pith_short_8","alias_value":"MDVVMYCU","created_at":"2026-07-05T08:43:28Z"}],"graph_snapshots":[{"event_id":"sha256:bda6cc1206487b66fc10884c3c8bec2b2a07ef51b906aa5c33fd1e8dfde82587","target":"graph","created_at":"2026-07-05T08:43:28Z","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/2405.11141/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Intrusion detection systems are crucial for network security. Verification of these systems is complicated by various factors, including the heterogeneity of network platforms and the continuously changing landscape of cyber threats. In this paper, we use automata learning to derive state machines from network-traffic data with the objective of supporting behavioural verification of intrusion detection systems. The most innovative aspect of our work is addressing the inability to directly apply existing automata learning techniques to network-traffic data due to the numeric nature of such data","authors_text":"Mehrdad Sabetzadeh, Negin Ayoughi, Patricio Saavedra, Shiva Nejati","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-05-18T02:10:41Z","title":"Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.11141","kind":"arxiv","version":2},"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:34f22c1b765b5c3a8f169b2bf5fedf662ee651c286def107e08dda9de220f8e9","target":"record","created_at":"2026-07-05T08:43:28Z","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":"42b95e8d89f0dd8e95a61e3a0075921c07cc1e423b43424e4f8269bc02c15bba","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-05-18T02:10:41Z","title_canon_sha256":"c3d74ea484b826faa7d6f9a3963aa0f7cbde8715193b56710aefe7b15ba036e6"},"schema_version":"1.0","source":{"id":"2405.11141","kind":"arxiv","version":2}},"canonical_sha256":"60eb5660540183c1646bf2d71e9e804d1eca5bed0d03e411fbca897a51728d85","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"60eb5660540183c1646bf2d71e9e804d1eca5bed0d03e411fbca897a51728d85","first_computed_at":"2026-07-05T08:43:28.375187Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:43:28.375187Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MLgLcShK3mR8O2J+To8GZwq7NYkIOmjIy/n8W8q3VylAlYrK7YEYHV/lTzAmZRXaGL4NQlvTPVu40WeOtN0xDw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:43:28.375587Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.11141","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:34f22c1b765b5c3a8f169b2bf5fedf662ee651c286def107e08dda9de220f8e9","sha256:bda6cc1206487b66fc10884c3c8bec2b2a07ef51b906aa5c33fd1e8dfde82587"],"state_sha256":"24cc1d67b0edd72e42d0c1eb2e702c2712a42893a98a7dc45c35b104b65c098c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qevi+hLqWji33h76h5qPbiJ4RkjWJerhWZe+C40Za1/lmNkIXXEVglzOeNk/4s9tDNO/slqZMbeIgrfBSHLaDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T17:21:05.867639Z","bundle_sha256":"fe777f34b75e72270a8779d054d2297375e5cdfdd4df94bf0e45f8a527ade980"}}