{"as_of":"2026-08-22T07:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:34dbc9847c76258e90ce022452a2a477fb1e2b7e4ca4c12d7f7712548d1197e1","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":4,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":4,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+00:00","state":"measured"},{"denominator":4,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":4,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-15T20:05:06.786688Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-15T20:06:33.930470Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2303.16688","last_updated":"2023-03-29T13:39:05Z","snapshot_observed_at":"2026-08-17T22:46:36.598785Z","submitted_at":"2023-03-29T13:39:05Z","title":"Model Checking Access Control Policies: A Case Study using Google Cloud IAM","version":1},"cited_work":{"arxiv_id":"2303.16688","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2303.16688","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv preprint https://doi.org/10.48550/ arXiv.2303.16688, shows formal verification techniques for access control policies via model checking","venue":null,"work_id":"82d16be2-cd33-46f7-88c8-f9b378cab20c","year":2023},"citing_paper":{"arxiv_id":"2602.19360","last_updated":"2026-04-05T17:35:14Z","snapshot_observed_at":"2026-08-14T23:01:07.626882Z","submitted_at":"2026-02-22T22:10:25Z","title":"Compliance Management for Federated Data Processing","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-15T20:05:06.786688Z"},"links":{"cited_paper":"/paper/2303.16688","citing_paper":"/paper/2602.19360"},"observation_digest":"sha256:676fed6ad418106a1a7c99a4df44852b879cea1010fa3ad050ca99cef774969d","observation_id":"ab8e84e8-dfa0-4741-9177-7c9626f3cf71","resolution":{"observed_at":"2026-05-15T20:06:33.933957Z","resolver_source":"arxiv_id","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.16688","last_updated":"2023-03-29T13:39:05Z","snapshot_observed_at":"2026-08-17T22:46:36.598785Z","submitted_at":"2023-03-29T13:39:05Z","title":"Model Checking Access Control Policies: A Case Study using Google Cloud IAM","version":1},"cited_work":{"arxiv_id":"2303.16688","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2303.16688","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv preprint https://doi.org/10.48550/ arXiv.2303.16688, shows formal verification techniques for access control policies via model checking","venue":null,"work_id":"82d16be2-cd33-46f7-88c8-f9b378cab20c","year":2023},"citing_paper":{"arxiv_id":"2604.07321","last_updated":"2026-04-08T17:36:33Z","snapshot_observed_at":"2026-08-11T12:32:06.170422Z","submitted_at":"2026-04-08T17:36:33Z","title":"Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-10T17:39:31.790847Z"},"links":{"cited_paper":"/paper/2303.16688","citing_paper":"/paper/2604.07321"},"observation_digest":"sha256:cd7280e46ce2c34299612ebcc07fad5036b3629171ee73e5dcdd1c35590e6ef6","observation_id":"5aedfe03-642a-4d50-a732-4bc0a16c674c","resolution":{"observed_at":"2026-05-11T06:25:57.925801Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.16688","last_updated":"2023-03-29T13:39:05Z","snapshot_observed_at":"2026-08-17T22:46:36.598785Z","submitted_at":"2023-03-29T13:39:05Z","title":"Model Checking Access Control Policies: A Case Study using Google Cloud IAM","version":1},"cited_work":{"arxiv_id":"2303.16688","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2303.16688","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv preprint https://doi.org/10.48550/ arXiv.2303.16688, shows formal verification techniques for access control policies via model checking","venue":null,"work_id":"82d16be2-cd33-46f7-88c8-f9b378cab20c","year":2023},"citing_paper":{"arxiv_id":"2605.09115","last_updated":"2026-05-12T17:44:26Z","snapshot_observed_at":"2026-08-18T02:32:41.598073Z","submitted_at":"2026-05-09T18:56:02Z","title":"AI Native Asset Intelligence","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-12T02:27:21.623486Z"},"links":{"cited_paper":"/paper/2303.16688","citing_paper":"/paper/2605.09115"},"observation_digest":"sha256:4940d6f33111aa6a75f3c563258c2e1ba1d7dd8ec791a93895340f70601cc2db","observation_id":"d6e923f6-bd06-443a-b8bc-fc2ec13f05a6","resolution":{"observed_at":"2026-05-12T07:37:01.407687Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.16688","last_updated":"2023-03-29T13:39:05Z","snapshot_observed_at":"2026-08-17T22:46:36.598785Z","submitted_at":"2023-03-29T13:39:05Z","title":"Model Checking Access Control Policies: A Case Study using Google Cloud IAM","version":1},"cited_work":{"arxiv_id":"2303.16688","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2303.16688","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv preprint https://doi.org/10.48550/ arXiv.2303.16688, shows formal verification techniques for access control policies via model checking","venue":null,"work_id":"82d16be2-cd33-46f7-88c8-f9b378cab20c","year":2023},"citing_paper":{"arxiv_id":"2605.09115","last_updated":"2026-05-12T17:44:26Z","snapshot_observed_at":"2026-08-18T02:32:41.598073Z","submitted_at":"2026-05-09T18:56:02Z","title":"AI Native Asset Intelligence","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-13T06:34:24.489936Z"},"links":{"cited_paper":"/paper/2303.16688","citing_paper":"/paper/2605.09115"},"observation_digest":"sha256:9486f1994f7a8a0be9a436b78947414c073caee339d9c942ea700be5b30ca7c0","observation_id":"19e86cbe-d490-41af-acf6-950e6dad02c0","resolution":{"observed_at":"2026-05-13T06:37:26.903364Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2303.16688/citation-record","integrity":"/paper/2303.16688/integrity","json":"/paper/2303.16688/citation-record.json","paper":"/paper/2303.16688"},"outbound":[],"paper":{"arxiv_id":"2303.16688","last_updated":"2023-03-29T13:39:05Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-17T22:46:36.598785Z","submitted_at":"2023-03-29T13:39:05Z","title":"Model Checking Access Control Policies: A Case Study using Google Cloud IAM"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"As of 22 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 4 inbound Pith citation observations for arXiv:2303.16688."}