{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:JW7YS5EOVO5DTM56Z3JT63YYAD","short_pith_number":"pith:JW7YS5EO","canonical_record":{"source":{"id":"2308.12983","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-08-24T01:05:14Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"400abdf761c71d784154f202160a89f4ea90a79bc29143c8677613713299b5e6","abstract_canon_sha256":"743023b64545dc80f0a189a3e5aa25f54d6c1ca2038721b4619ccab134e57681"},"schema_version":"1.0"},"canonical_sha256":"4dbf89748eabba39b3beced33f6f1800f0eadfabf83c3e80db44edd0663c0715","source":{"kind":"arxiv","id":"2308.12983","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.12983","created_at":"2026-07-05T06:44:36Z"},{"alias_kind":"arxiv_version","alias_value":"2308.12983v1","created_at":"2026-07-05T06:44:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.12983","created_at":"2026-07-05T06:44:36Z"},{"alias_kind":"pith_short_12","alias_value":"JW7YS5EOVO5D","created_at":"2026-07-05T06:44:36Z"},{"alias_kind":"pith_short_16","alias_value":"JW7YS5EOVO5DTM56","created_at":"2026-07-05T06:44:36Z"},{"alias_kind":"pith_short_8","alias_value":"JW7YS5EO","created_at":"2026-07-05T06:44:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:JW7YS5EOVO5DTM56Z3JT63YYAD","target":"record","payload":{"canonical_record":{"source":{"id":"2308.12983","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-08-24T01:05:14Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"400abdf761c71d784154f202160a89f4ea90a79bc29143c8677613713299b5e6","abstract_canon_sha256":"743023b64545dc80f0a189a3e5aa25f54d6c1ca2038721b4619ccab134e57681"},"schema_version":"1.0"},"canonical_sha256":"4dbf89748eabba39b3beced33f6f1800f0eadfabf83c3e80db44edd0663c0715","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:44:36.879267Z","signature_b64":"rkAeNz5ma49YHwizr8XCr13Hf1XoAPcXV/WtqGqpW6bkiCgx8hy13VRTnLBVci5Y/Z4wVmDp2mM33OYONNHlDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4dbf89748eabba39b3beced33f6f1800f0eadfabf83c3e80db44edd0663c0715","last_reissued_at":"2026-07-05T06:44:36.878863Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:44:36.878863Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2308.12983","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-07-05T06:44:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bBsABDyfBcH6eCGDXOopQMdwHa96CEhF/LbP+qKMpcUNFHcAsD4I/66CcoG/onvKRkv9fecm8h5q9Rk4CEQvBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T08:01:34.843566Z"},"content_sha256":"458a9e5f6efbce0800b3b134c8e633d25b80f08df120c385e394b411ef1ef5fa","schema_version":"1.0","event_id":"sha256:458a9e5f6efbce0800b3b134c8e633d25b80f08df120c385e394b411ef1ef5fa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:JW7YS5EOVO5DTM56Z3JT63YYAD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Implementation of Formal Semantics and the Potential of Non-Classical Logic Systems for the Enhancement of Access Control Models: A Literature Review","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.LO","authors_text":"Alvin Tang","submitted_at":"2023-08-24T01:05:14Z","abstract_excerpt":"This literature review discovers an implementation of formal logic systems in cyber security by enhancing access control models. We explore the characteristics of the existing access control theories, their limitations and how classical logic is used therein. We then delve into the possibility of utilising non-classical logic systems for improving the models. In particular, we explore how classical logic can be used to describe and prove the correctness of role-based access control and attribute-based access control models."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.12983","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2308.12983/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-05T06:44:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JI/Q5pC1tdABQd90664P8ZhTXXSqOFovQZqNcLKnPlNB6xbqgQRjpurZQWIDrQagjqU/eicQjPoxFF1RYs0xAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T08:01:34.844413Z"},"content_sha256":"da029b5d7ccf12cd8d2c80d5fe66714457108c18affaca4b90816725e5d2f3f9","schema_version":"1.0","event_id":"sha256:da029b5d7ccf12cd8d2c80d5fe66714457108c18affaca4b90816725e5d2f3f9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JW7YS5EOVO5DTM56Z3JT63YYAD/bundle.json","state_url":"https://pith.science/pith/JW7YS5EOVO5DTM56Z3JT63YYAD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JW7YS5EOVO5DTM56Z3JT63YYAD/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-01T08:01:34Z","links":{"resolver":"https://pith.science/pith/JW7YS5EOVO5DTM56Z3JT63YYAD","bundle":"https://pith.science/pith/JW7YS5EOVO5DTM56Z3JT63YYAD/bundle.json","state":"https://pith.science/pith/JW7YS5EOVO5DTM56Z3JT63YYAD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JW7YS5EOVO5DTM56Z3JT63YYAD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:JW7YS5EOVO5DTM56Z3JT63YYAD","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":"743023b64545dc80f0a189a3e5aa25f54d6c1ca2038721b4619ccab134e57681","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-08-24T01:05:14Z","title_canon_sha256":"400abdf761c71d784154f202160a89f4ea90a79bc29143c8677613713299b5e6"},"schema_version":"1.0","source":{"id":"2308.12983","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.12983","created_at":"2026-07-05T06:44:36Z"},{"alias_kind":"arxiv_version","alias_value":"2308.12983v1","created_at":"2026-07-05T06:44:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.12983","created_at":"2026-07-05T06:44:36Z"},{"alias_kind":"pith_short_12","alias_value":"JW7YS5EOVO5D","created_at":"2026-07-05T06:44:36Z"},{"alias_kind":"pith_short_16","alias_value":"JW7YS5EOVO5DTM56","created_at":"2026-07-05T06:44:36Z"},{"alias_kind":"pith_short_8","alias_value":"JW7YS5EO","created_at":"2026-07-05T06:44:36Z"}],"graph_snapshots":[{"event_id":"sha256:da029b5d7ccf12cd8d2c80d5fe66714457108c18affaca4b90816725e5d2f3f9","target":"graph","created_at":"2026-07-05T06:44:36Z","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/2308.12983/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This literature review discovers an implementation of formal logic systems in cyber security by enhancing access control models. We explore the characteristics of the existing access control theories, their limitations and how classical logic is used therein. We then delve into the possibility of utilising non-classical logic systems for improving the models. In particular, we explore how classical logic can be used to describe and prove the correctness of role-based access control and attribute-based access control models.","authors_text":"Alvin Tang","cross_cats":["cs.CR"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-08-24T01:05:14Z","title":"Implementation of Formal Semantics and the Potential of Non-Classical Logic Systems for the Enhancement of Access Control Models: A Literature Review"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.12983","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:458a9e5f6efbce0800b3b134c8e633d25b80f08df120c385e394b411ef1ef5fa","target":"record","created_at":"2026-07-05T06:44:36Z","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":"743023b64545dc80f0a189a3e5aa25f54d6c1ca2038721b4619ccab134e57681","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-08-24T01:05:14Z","title_canon_sha256":"400abdf761c71d784154f202160a89f4ea90a79bc29143c8677613713299b5e6"},"schema_version":"1.0","source":{"id":"2308.12983","kind":"arxiv","version":1}},"canonical_sha256":"4dbf89748eabba39b3beced33f6f1800f0eadfabf83c3e80db44edd0663c0715","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4dbf89748eabba39b3beced33f6f1800f0eadfabf83c3e80db44edd0663c0715","first_computed_at":"2026-07-05T06:44:36.878863Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:44:36.878863Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rkAeNz5ma49YHwizr8XCr13Hf1XoAPcXV/WtqGqpW6bkiCgx8hy13VRTnLBVci5Y/Z4wVmDp2mM33OYONNHlDw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:44:36.879267Z","signed_message":"canonical_sha256_bytes"},"source_id":"2308.12983","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:458a9e5f6efbce0800b3b134c8e633d25b80f08df120c385e394b411ef1ef5fa","sha256:da029b5d7ccf12cd8d2c80d5fe66714457108c18affaca4b90816725e5d2f3f9"],"state_sha256":"f2a2feb930222539e5e30da20df75e4777a8251d5343ab1e0965734ec25a1c6d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"G4ABPOfb4E7wc8Z5ucdp0H0Nfm7NE76T4iApBC+BMbPuSmWb8g8T9fI1TApGIgaKhXGmqeIwPYmE7zy0U2+TCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-01T08:01:34.852520Z","bundle_sha256":"24b1b3e7dbbb21ce3d5b55e764ac5e2adcbfd9068bbc9b39bd521f04878a664c"}}