{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:32XYLNWYC3CHZ2W5MJTVYBU6HV","short_pith_number":"pith:32XYLNWY","canonical_record":{"source":{"id":"1901.01867","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-01-07T15:05:41Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"9196757b959fc4caa228f4045585f8c0df2afa88a187a92d06f617f08d86be4c","abstract_canon_sha256":"3afc754ebce3a31cd004036d7265469d711b772ab55f94ff7f772117b3ffaf44"},"schema_version":"1.0"},"canonical_sha256":"deaf85b6d816c47ceadd62675c069e3d7498e57428f3649624a098c8fa9f418c","source":{"kind":"arxiv","id":"1901.01867","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.01867","created_at":"2026-05-17T23:56:49Z"},{"alias_kind":"arxiv_version","alias_value":"1901.01867v1","created_at":"2026-05-17T23:56:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.01867","created_at":"2026-05-17T23:56:49Z"},{"alias_kind":"pith_short_12","alias_value":"32XYLNWYC3CH","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"32XYLNWYC3CHZ2W5","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"32XYLNWY","created_at":"2026-05-18T12:33:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:32XYLNWYC3CHZ2W5MJTVYBU6HV","target":"record","payload":{"canonical_record":{"source":{"id":"1901.01867","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-01-07T15:05:41Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"9196757b959fc4caa228f4045585f8c0df2afa88a187a92d06f617f08d86be4c","abstract_canon_sha256":"3afc754ebce3a31cd004036d7265469d711b772ab55f94ff7f772117b3ffaf44"},"schema_version":"1.0"},"canonical_sha256":"deaf85b6d816c47ceadd62675c069e3d7498e57428f3649624a098c8fa9f418c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:56:49.453599Z","signature_b64":"nh40Kbgl7r0syMZTiL25S0FQngOCCtpbl+moEyTiMwTl1/Hh8D8/qWhHZSwLKUjSZN+iJxHSsh/XSIwa28PMAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"deaf85b6d816c47ceadd62675c069e3d7498e57428f3649624a098c8fa9f418c","last_reissued_at":"2026-05-17T23:56:49.453159Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:56:49.453159Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1901.01867","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-17T23:56:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TvtCbAaHoEOGWSQ5W6T5tF8ehTzWiwM9c4igQ/ecNqyt6L+GNL0tvkkKCMfhtvipXOvSfxW6DRh091AvE1ttAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T09:21:53.540674Z"},"content_sha256":"b6fc9f988a4044f0dce681a6fff226a4a8f01ba8e606ad0367b3c3bb69aad3d9","schema_version":"1.0","event_id":"sha256:b6fc9f988a4044f0dce681a6fff226a4a8f01ba8e606ad0367b3c3bb69aad3d9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:32XYLNWYC3CHZ2W5MJTVYBU6HV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Deriving Cyber-security Requirements for Cyber Physical Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CR","authors_text":"Dan Cerys, Howard Shrobe, Patrik Meijer, Paul Robertson, Prakash Manghwani, Robert Laddaga","submitted_at":"2019-01-07T15:05:41Z","abstract_excerpt":"Today's cyber physical systems (CPS) are not well protected against cyber attacks. Protected CPS often have holes in their defense, due to the manual nature of today's cyber security design process. It is necessary to automate or semi-automate the design and implementation of CPS to meet stringent cyber security requirements (CSR), without sacrificing functional performance, timing and cost constraints. Step one is deriving, for each CPS, the CSR that flow from the particular functional design for that CPS. That is the task assumed by our system, Deriving Cyber-security Requirements Yielding P"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.01867","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-17T23:56:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GgLR43ehh6MfgKDILCp8bd3rmFJVAHLkatOaqjIBDUJULIHFgDX7o/ZjZiTCydop3EWlGeW5IRyore8x9AueCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T09:21:53.541495Z"},"content_sha256":"dc1b7e1cc592b2195a3a0031f63c0006d04371f7ae016549668356b8ff836174","schema_version":"1.0","event_id":"sha256:dc1b7e1cc592b2195a3a0031f63c0006d04371f7ae016549668356b8ff836174"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/32XYLNWYC3CHZ2W5MJTVYBU6HV/bundle.json","state_url":"https://pith.science/pith/32XYLNWYC3CHZ2W5MJTVYBU6HV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/32XYLNWYC3CHZ2W5MJTVYBU6HV/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-04T09:21:53Z","links":{"resolver":"https://pith.science/pith/32XYLNWYC3CHZ2W5MJTVYBU6HV","bundle":"https://pith.science/pith/32XYLNWYC3CHZ2W5MJTVYBU6HV/bundle.json","state":"https://pith.science/pith/32XYLNWYC3CHZ2W5MJTVYBU6HV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/32XYLNWYC3CHZ2W5MJTVYBU6HV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:32XYLNWYC3CHZ2W5MJTVYBU6HV","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":"3afc754ebce3a31cd004036d7265469d711b772ab55f94ff7f772117b3ffaf44","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-01-07T15:05:41Z","title_canon_sha256":"9196757b959fc4caa228f4045585f8c0df2afa88a187a92d06f617f08d86be4c"},"schema_version":"1.0","source":{"id":"1901.01867","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.01867","created_at":"2026-05-17T23:56:49Z"},{"alias_kind":"arxiv_version","alias_value":"1901.01867v1","created_at":"2026-05-17T23:56:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.01867","created_at":"2026-05-17T23:56:49Z"},{"alias_kind":"pith_short_12","alias_value":"32XYLNWYC3CH","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"32XYLNWYC3CHZ2W5","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"32XYLNWY","created_at":"2026-05-18T12:33:07Z"}],"graph_snapshots":[{"event_id":"sha256:dc1b7e1cc592b2195a3a0031f63c0006d04371f7ae016549668356b8ff836174","target":"graph","created_at":"2026-05-17T23:56: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":"Today's cyber physical systems (CPS) are not well protected against cyber attacks. Protected CPS often have holes in their defense, due to the manual nature of today's cyber security design process. It is necessary to automate or semi-automate the design and implementation of CPS to meet stringent cyber security requirements (CSR), without sacrificing functional performance, timing and cost constraints. Step one is deriving, for each CPS, the CSR that flow from the particular functional design for that CPS. That is the task assumed by our system, Deriving Cyber-security Requirements Yielding P","authors_text":"Dan Cerys, Howard Shrobe, Patrik Meijer, Paul Robertson, Prakash Manghwani, Robert Laddaga","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-01-07T15:05:41Z","title":"Deriving Cyber-security Requirements for Cyber Physical Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.01867","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:b6fc9f988a4044f0dce681a6fff226a4a8f01ba8e606ad0367b3c3bb69aad3d9","target":"record","created_at":"2026-05-17T23:56: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":"3afc754ebce3a31cd004036d7265469d711b772ab55f94ff7f772117b3ffaf44","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-01-07T15:05:41Z","title_canon_sha256":"9196757b959fc4caa228f4045585f8c0df2afa88a187a92d06f617f08d86be4c"},"schema_version":"1.0","source":{"id":"1901.01867","kind":"arxiv","version":1}},"canonical_sha256":"deaf85b6d816c47ceadd62675c069e3d7498e57428f3649624a098c8fa9f418c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"deaf85b6d816c47ceadd62675c069e3d7498e57428f3649624a098c8fa9f418c","first_computed_at":"2026-05-17T23:56:49.453159Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:56:49.453159Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nh40Kbgl7r0syMZTiL25S0FQngOCCtpbl+moEyTiMwTl1/Hh8D8/qWhHZSwLKUjSZN+iJxHSsh/XSIwa28PMAw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:56:49.453599Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.01867","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b6fc9f988a4044f0dce681a6fff226a4a8f01ba8e606ad0367b3c3bb69aad3d9","sha256:dc1b7e1cc592b2195a3a0031f63c0006d04371f7ae016549668356b8ff836174"],"state_sha256":"91fa92764733d095e7e67882c5d57a8baf4aa8fb9a097408272cce656cb1bfe8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VsclilDSRw1FGmiOq1sO48BdNlWJZSgZ84SwApTebvzOylmR9zBvvadoFK+omnCPhJ0QDDSlsbgcYMquQD5PCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T09:21:53.547983Z","bundle_sha256":"8a5b4e047c49d9cf367e6547064ba8fe792a30a8ea70515daac3e225630c7da1"}}