{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:5JRBRR72GWDABROBLB6TOCR4SM","short_pith_number":"pith:5JRBRR72","canonical_record":{"source":{"id":"1412.3588","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-12-11T09:57:28Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"5c212739f3ac6ec70375ef020340d769e3b74fbee5095b5d5a277f25f898e15b","abstract_canon_sha256":"05a235e56d0f5c03841994b4a3ba5442338ddc6ceb1417df134b56911d51b3fb"},"schema_version":"1.0"},"canonical_sha256":"ea6218c7fa358600c5c1587d370a3c93337c2e731349e622603aedc5aa7cf0c0","source":{"kind":"arxiv","id":"1412.3588","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.3588","created_at":"2026-05-18T02:31:20Z"},{"alias_kind":"arxiv_version","alias_value":"1412.3588v2","created_at":"2026-05-18T02:31:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.3588","created_at":"2026-05-18T02:31:20Z"},{"alias_kind":"pith_short_12","alias_value":"5JRBRR72GWDA","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"5JRBRR72GWDABROB","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"5JRBRR72","created_at":"2026-05-18T12:28:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:5JRBRR72GWDABROBLB6TOCR4SM","target":"record","payload":{"canonical_record":{"source":{"id":"1412.3588","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-12-11T09:57:28Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"5c212739f3ac6ec70375ef020340d769e3b74fbee5095b5d5a277f25f898e15b","abstract_canon_sha256":"05a235e56d0f5c03841994b4a3ba5442338ddc6ceb1417df134b56911d51b3fb"},"schema_version":"1.0"},"canonical_sha256":"ea6218c7fa358600c5c1587d370a3c93337c2e731349e622603aedc5aa7cf0c0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:31:20.210106Z","signature_b64":"Hnz7W5C664+qC5/wCV8jAjoDXWfXjYfmbHQHBrRirQp95uMUWF+ZN6WpEN58ELh4pph61sR1S0M4YJSpzyOwAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ea6218c7fa358600c5c1587d370a3c93337c2e731349e622603aedc5aa7cf0c0","last_reissued_at":"2026-05-18T02:31:20.209479Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:31:20.209479Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1412.3588","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-05-18T02:31:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0MZW8wvCVZpUgbUPnbqneItFLVOPNuJWsSOUsdrRDWa5XQuHF0eMxtXHctJC1wgDqeTa5GLRyCTfcsdtWyPtAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T20:37:15.755370Z"},"content_sha256":"4930585873c6d7b683f83b66d5a7cb75acc2f5623660daef54f9c07d58b8fe5d","schema_version":"1.0","event_id":"sha256:4930585873c6d7b683f83b66d5a7cb75acc2f5623660daef54f9c07d58b8fe5d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:5JRBRR72GWDABROBLB6TOCR4SM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Formal Semantics of the Cognitive Middleware AWDRAT","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Dimitrios Serpanos, Howard Shrobe, Muhammad Taimoor Khan","submitted_at":"2014-12-11T09:57:28Z","abstract_excerpt":"The purpose of this work is two fold: on one hand we want to formalize the behavior of critical components of the self generating and adapting cognitive middleware AWDRAT such that the formalism not only helps to understand the semantics and technical details of the middleware but also opens an opportunity to extend the middleware to support other complex application domains of cybersecurity; on the other hand, the formalism serves as a pre-requisite for our proof of the behavioral correctness of the critical components to ensure the safety of the middleware itself. However, here we focus only"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.3588","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":""},"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-18T02:31:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dC5D3hR5n766HO1PO4JeUCwTtU7FNeIVk0PKIsavzQj5kfMXffnLQ826253bHnsc5n41UVO8KA3ZbW9/MHdUCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T20:37:15.755829Z"},"content_sha256":"c49c23fbb49235639a9062165950aeecab48603a774e553e39694e29a586776b","schema_version":"1.0","event_id":"sha256:c49c23fbb49235639a9062165950aeecab48603a774e553e39694e29a586776b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5JRBRR72GWDABROBLB6TOCR4SM/bundle.json","state_url":"https://pith.science/pith/5JRBRR72GWDABROBLB6TOCR4SM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5JRBRR72GWDABROBLB6TOCR4SM/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-14T20:37:15Z","links":{"resolver":"https://pith.science/pith/5JRBRR72GWDABROBLB6TOCR4SM","bundle":"https://pith.science/pith/5JRBRR72GWDABROBLB6TOCR4SM/bundle.json","state":"https://pith.science/pith/5JRBRR72GWDABROBLB6TOCR4SM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5JRBRR72GWDABROBLB6TOCR4SM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:5JRBRR72GWDABROBLB6TOCR4SM","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":"05a235e56d0f5c03841994b4a3ba5442338ddc6ceb1417df134b56911d51b3fb","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-12-11T09:57:28Z","title_canon_sha256":"5c212739f3ac6ec70375ef020340d769e3b74fbee5095b5d5a277f25f898e15b"},"schema_version":"1.0","source":{"id":"1412.3588","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.3588","created_at":"2026-05-18T02:31:20Z"},{"alias_kind":"arxiv_version","alias_value":"1412.3588v2","created_at":"2026-05-18T02:31:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.3588","created_at":"2026-05-18T02:31:20Z"},{"alias_kind":"pith_short_12","alias_value":"5JRBRR72GWDA","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"5JRBRR72GWDABROB","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"5JRBRR72","created_at":"2026-05-18T12:28:14Z"}],"graph_snapshots":[{"event_id":"sha256:c49c23fbb49235639a9062165950aeecab48603a774e553e39694e29a586776b","target":"graph","created_at":"2026-05-18T02:31:20Z","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":"The purpose of this work is two fold: on one hand we want to formalize the behavior of critical components of the self generating and adapting cognitive middleware AWDRAT such that the formalism not only helps to understand the semantics and technical details of the middleware but also opens an opportunity to extend the middleware to support other complex application domains of cybersecurity; on the other hand, the formalism serves as a pre-requisite for our proof of the behavioral correctness of the critical components to ensure the safety of the middleware itself. However, here we focus only","authors_text":"Dimitrios Serpanos, Howard Shrobe, Muhammad Taimoor Khan","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-12-11T09:57:28Z","title":"On the Formal Semantics of the Cognitive Middleware AWDRAT"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.3588","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:4930585873c6d7b683f83b66d5a7cb75acc2f5623660daef54f9c07d58b8fe5d","target":"record","created_at":"2026-05-18T02:31:20Z","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":"05a235e56d0f5c03841994b4a3ba5442338ddc6ceb1417df134b56911d51b3fb","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-12-11T09:57:28Z","title_canon_sha256":"5c212739f3ac6ec70375ef020340d769e3b74fbee5095b5d5a277f25f898e15b"},"schema_version":"1.0","source":{"id":"1412.3588","kind":"arxiv","version":2}},"canonical_sha256":"ea6218c7fa358600c5c1587d370a3c93337c2e731349e622603aedc5aa7cf0c0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ea6218c7fa358600c5c1587d370a3c93337c2e731349e622603aedc5aa7cf0c0","first_computed_at":"2026-05-18T02:31:20.209479Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:31:20.209479Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Hnz7W5C664+qC5/wCV8jAjoDXWfXjYfmbHQHBrRirQp95uMUWF+ZN6WpEN58ELh4pph61sR1S0M4YJSpzyOwAw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:31:20.210106Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.3588","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4930585873c6d7b683f83b66d5a7cb75acc2f5623660daef54f9c07d58b8fe5d","sha256:c49c23fbb49235639a9062165950aeecab48603a774e553e39694e29a586776b"],"state_sha256":"60fc94ce89f64703ebae4773dbcdda5ee4da5590e66b3c4ca8f062b192c52819"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AWKSBc9G73G6AOHy7LGhRfAsj89DKivg2g3qcFL3KoL2IdMJMP+AeQQcd9mu4uyb6YjF5F8A47mwBVcrTSTSBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T20:37:15.759726Z","bundle_sha256":"8b7b81bb6093d91f51776298117cf91d9936d49216455641bf3e0bcb7aecb099"}}