{"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"}