{"as_of":"2026-08-20T07:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:05b07dc90d8badcb3d18082e154ddaaa9cb8a9ce723ca3b53d195d8b04bc8f99","coverage":[{"denominator":40,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":40,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T15:37:07.953632Z","state":"measured"},{"denominator":41,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":41,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-29T06:51:02.791070Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"cited_work":{"arxiv_id":"2505.14514","doi":"10.48550/arxiv.2505.14514","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.14514","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv:2505.14514 [cs]","venue":"ArXiv.org","work_id":"60a9d4d7-b451-44e0-a9a4-350b97e26119","year":2025},"citing_paper":{"arxiv_id":"2605.29465","last_updated":"2026-05-28T06:57:08Z","snapshot_observed_at":"2026-08-15T22:59:45.709362Z","submitted_at":"2026-05-28T06:57:08Z","title":"Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-29T06:51:02.791070Z"},"links":{"cited_paper":"/paper/2505.14514","citing_paper":"/paper/2605.29465"},"observation_digest":"sha256:3f93fbdfc56c243a66eb48dfc29ef3f6ad5f0a1d6947e568f138f54ece16ead9","observation_id":"469f49ff-e36b-4eda-aa76-920147a1284a","resolution":{"observed_at":"2026-06-29T06:53:11.819623Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2505.14514/citation-record","integrity":"/paper/2505.14514/integrity","json":"/paper/2505.14514/citation-record.json","paper":"/paper/2505.14514"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:17.009131Z","title":"The B-book - assigning programs to meanings","venue":null,"work_id":"7f5ff98e-bc08-40df-bb0e-9c8abe12ca05","year":2005},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:02.865243Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:e2befe3a179a2f1092ed19b22683059859c98301bc4f14dade8c1edca12344e8","observation_id":"488a1761-cb21-48d6-b4f3-88f4822a9929","resolution":{"observed_at":"2026-08-07T15:37:17.084885Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:16.803675Z","title":"Modeling in Event-B - System and Software Engineering","venue":null,"work_id":"eb986911-3e17-426d-9c22-6ac1746d7518","year":2010},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:02.981569Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:ced56cb0b4076c8cc8e86005207cbde45df305da09441403c946b30c07496e6d","observation_id":"903a101c-9de9-426b-99f4-16da53b590ff","resolution":{"observed_at":"2026-08-07T15:37:16.936000Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:16.563813Z","title":"Rodin: an open toolset for modelling and reasoning in event-b","venue":null,"work_id":"fc50f04a-80bc-4c65-98b6-6f960e1b4bdf","year":2010},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:03.084194Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:e34a3785fcb78deda2121e96620d712c344e4a44028ee5283d2cb795e803195e","observation_id":"71b5d055-0e76-42dd-ad42-94bf7bb53582","resolution":{"observed_at":"2026-08-07T15:37:16.697916Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:16.302240Z","title":"Classification of security properties in a linda-like process algebra","venue":null,"work_id":"661227b8-cbc6-4142-b332-e576426b79e6","year":2006},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:03.194410Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:2af2363cc255c96d9c7034300139c742edf8e1154c26abeecbd73684696bd5ab","observation_id":"23347f38-d619-4862-97c4-a1859e168f55","resolution":{"observed_at":"2026-08-07T15:37:16.403001Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:03.307328Z","title":"Software penetration testing","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:03.307328Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:0d20910304243b018812c94a19f251475a46ce3a6e8af1f2587c365f8f62a260","observation_id":"19cf1213-8357-48e6-a42f-f62f18d825e6","resolution":{"observed_at":"2026-08-07T15:37:03.307328Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:16.106022Z","title":"A serious game for eliciting social engineering security requirements","venue":null,"work_id":"a91718dc-d2f1-476c-805c-f4b175281d85","year":2016},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:03.477158Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:a027cca793cdf21df84531483fa0e2b35264ae363b86c548ff9f030e02dea452","observation_id":"3843f428-17d7-4d65-996a-6f7b725b220c","resolution":{"observed_at":"2026-08-07T15:37:16.193881Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:15.944863Z","title":"Multidimensional divide-and-conquer","venue":null,"work_id":"b4bc4f13-12ec-4f7f-8b62-7a54c7572f09","year":1980},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:03.630783Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:308cdb23d89e6da14ba516a865ae90fe94ef4f5f9c21e1ed4e0eeea012e0c361","observation_id":"3458de87-c952-421d-b387-5ee8d11b4cc4","resolution":{"observed_at":"2026-08-07T15:37:16.030961Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:15.741301Z","title":"Less is more: supporting developers in vulnerability detection during code review","venue":null,"work_id":"dffbc89e-12f5-4c29-aa2e-62dec6bae874","year":2022},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:03.740528Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:3459409e338de8d23752ec044c9dd94bce6a965fa8e06455b30a232b38141ebe","observation_id":"ddece1f3-e4f4-434c-a35f-0f600800eafc","resolution":{"observed_at":"2026-08-07T15:37:15.843733Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:15.493591Z","title":"The role of formalism in system requirements","venue":null,"work_id":"99f52026-c0b9-4e9f-b621-aeea5c1b4d41","year":2021},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:03.889644Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:58233fca49cd895d37b70c25b5ec4cdd254aef9e4cb410b843cf01f299d0fcde","observation_id":"77f1515a-eab7-4130-a38e-d39cfc0e35fc","resolution":{"observed_at":"2026-08-07T15:37:15.636368Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:15.272089Z","title":"SMT Solvers for Rodin","venue":null,"work_id":"4e28d0f3-c81a-4452-b9ac-5b920cd56e99","year":2012},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:03.993199Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:d6ef5e469d66901700d609cc2d6d434f1797de08b43c601088a4f65bdf05a1da","observation_id":"325fa13d-eac4-47db-8e6f-14b577efeea8","resolution":{"observed_at":"2026-08-07T15:37:15.393466Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:15.031621Z","title":"A Discipline of Programming","venue":null,"work_id":"4328bafc-ad89-4388-b856-fbf67be13415","year":1976},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:04.130466Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:25d416da8a681b289af7f2e45a715e19ec1e3910c3534f514233d10b8e79ed18","observation_id":"56cdcf8e-6139-4fee-aaed-10cfdd82cefb","resolution":{"observed_at":"2026-08-07T15:37:15.148354Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:14.843054Z","title":"An Extensible SAT-solver","venue":null,"work_id":"96a2e79c-bc4c-4d09-bdcf-b557f8629537","year":2003},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:04.244702Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:cc7f3b6328637f8fd16a9e1b94d1d199d2426814dc7245a52de08e8e90328b5d","observation_id":"2c7b7a3b-ea02-405b-a61a-b1b122f3637f","resolution":{"observed_at":"2026-08-07T15:37:14.909864Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:14.647887Z","title":"Allen Emerson and Edmund M","venue":null,"work_id":"7f0021be-f6cc-4cad-b114-0763b442dc4f","year":1980},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:04.391273Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:03d4d4c6309dd188673189184872de3668f67111d9971959948949c0bf195400","observation_id":"45c6bcbb-d7bb-43ef-a69f-281b4d57baf6","resolution":{"observed_at":"2026-08-07T15:37:14.754813Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:14.436126Z","title":"A taxonomy of trace-based security properties for ccs","venue":null,"work_id":"0dd9de30-0012-4298-b5fc-8d0e141f9d3b","year":1994},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:04.484308Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:8bf04d63d61f9b8fcd9d2bcb0b65bfe87f86bedf1f365e57cce0daa33015981b","observation_id":"b7e37c82-e9ff-4ae4-947c-523a89fc5307","resolution":{"observed_at":"2026-08-07T15:37:14.538573Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:14.138488Z","title":"Classification of security properties","venue":null,"work_id":"68ed4a80-6397-49f4-87dc-c1d7762f8022","year":2000},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:04.637161Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:94942e3f8b30f5823913e107e37d32c14b8edc7f2246f1643bc34d22d93fe136","observation_id":"356c0310-7103-466c-adf6-c0d7ba6f7501","resolution":{"observed_at":"2026-08-07T15:37:14.298747Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:13.878172Z","title":"Resolute: an assurance case language for architecture models","venue":null,"work_id":"66c8d11e-eda8-42ba-9fd1-712685a0c641","year":2014},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:04.743929Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:45d3bb829f9af1ddd1708cb23be17b367abe8bee82b3691a74d7473764fa0916","observation_id":"a6f634e9-b53b-48a7-8d5d-fb1e5fb21d47","resolution":{"observed_at":"2026-08-07T15:37:14.040908Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:13.608586Z","title":"Misuse and abuse cases: Getting past the positive","venue":null,"work_id":"fa50b873-e224-48fd-8b59-a3fc0f3b6e76","year":2004},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:04.868600Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:40246a8390a71859e0ec4ab3f95598fbe3367764725b55a645ec5027827bd0dc","observation_id":"5eec8574-11a5-45f0-b372-52ee196272f1","resolution":{"observed_at":"2026-08-07T15:37:13.748417Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:13.351923Z","title":"Iso/iec 27000: 2018 information technology—security tech- niques—information security management systems—overview and vo- cabulary, 2018","venue":null,"work_id":"90f44369-fca9-4e98-a571-f38d7a6896b7","year":2018},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:05.028470Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:202ca787328dbcdb40de61bd8c7b5540569fab6fb6efbe195729ad2f5ced39fe","observation_id":"2785700f-ea2a-4b7f-8dbb-10dace65d2fd","resolution":{"observed_at":"2026-08-07T15:37:13.472704Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:13.082796Z","title":"Software Abstractions - Logic, Language, and Analysis","venue":null,"work_id":"7ee1fbef-3795-4135-959d-70fa497a7a02","year":2006},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:05.167870Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:f588369b1dbfc59631e0411f3c30c01396bd59a66326cae6b3813c9868998231","observation_id":"d6e0633e-cf3d-4129-83f4-8b86af22df73","resolution":{"observed_at":"2026-08-07T15:37:13.214996Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:12.842898Z","title":"Towards an improved understanding of human factors in cybersecurity","venue":null,"work_id":"d81014f2-9a3a-487f-9126-475d8c83cbb8","year":2019},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:05.316143Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:66b7c17a40822c1ec2431333fd581c4175eacafb16862316083ea2007faf1873","observation_id":"f3f192ed-0dda-44ed-b154-4fcc12ec6111","resolution":{"observed_at":"2026-08-07T15:37:12.970786Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:12.615119Z","title":"Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers","venue":null,"work_id":"817f33aa-73b2-44e2-928f-6955a2626406","year":2002},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:05.462022Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:0571ecf8175577fe0ae18e5ff95d63326fb197395c679214a8924ea12c433551","observation_id":"0933bee4-69e9-48dc-a855-d7c44a6f4e55","resolution":{"observed_at":"2026-08-07T15:37:12.745520Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:12.351995Z","title":null,"venue":null,"work_id":"d916fa68-31b8-4af7-b87d-d209592c379c","year":2008},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:05.609652Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:ee76d3da726ba25a6287855af14d5197d389bb3639656908f10a24c43bbf085c","observation_id":"452dc587-785f-4148-8a65-7cef05390225","resolution":{"observed_at":"2026-08-07T15:37:12.498274Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:12.098816Z","title":"Information security management objectives and practices: a parsimonious frame- work","venue":null,"work_id":"abdf1258-7cb5-4658-9662-89740436cb70","year":2008},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:05.744886Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:42ee4c240272f508b273a37882eca9322e35145e43acf774aa3bffbd40bd3a19","observation_id":"5a818d5d-b80e-4fda-92eb-00546792dc23","resolution":{"observed_at":"2026-08-07T15:37:12.231637Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:11.868001Z","title":"Fundamentals of secure system modelling","venue":null,"work_id":"bc800179-d4bd-4e10-8204-a78f01547894","year":2017},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:05.885495Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:59a9e5f2c2fab5197ad07c2b136265d870e74cdc3ff1a82c76ead00dcfaa4b5c","observation_id":"4c1e0bab-fb27-40dd-abcb-010e40baeaea","resolution":{"observed_at":"2026-08-07T15:37:11.980503Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:11.597095Z","title":"Asset-oriented threat modeling","venue":null,"work_id":"24fe016d-a13b-4f6a-bc22-ab77f2bcf82e","year":2020},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:06.016573Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:9d1d6fe8df1ca06a7e7f035a6123e3396bcad0e618e757405d648f8fb1f0bffa","observation_id":"cce1ebc1-a991-4313-b2b8-665c1541d869","resolution":{"observed_at":"2026-08-07T15:37:11.707227Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:11.320623Z","title":"Using the cia and aaa models to explain cybersecurity activities","venue":null,"work_id":"e335c3b2-6675-46f1-8122-aad0329d6a48","year":2017},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:06.160536Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:d115fd319bad7a7c138b0dd3ef4f83aa59b250a77ddb4520cf9a4946bbe41a72","observation_id":"3755a2fe-9d18-4ca2-af6b-fab52e21742f","resolution":{"observed_at":"2026-08-07T15:37:11.458397Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:11.184750Z","title":"The Temporal Logic of Programs","venue":null,"work_id":"b4be781e-b75b-409f-a331-dddc3b567c44","year":1977},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:06.270276Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:573803c5475b11c950dab9c7eabf3843b948fb6770a574b68439823dcf95e3a8","observation_id":"657023aa-c231-4100-961a-b5995b06af7b","resolution":{"observed_at":"2026-08-07T15:37:11.228649Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:11.007517Z","title":"A formal methods approach to security requirements specification and verification","venue":null,"work_id":"3fb205d9-3b92-45cd-9ed3-e0b38752c0fa","year":2019},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:06.395954Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:dd162664c1bccd86a2df2d52d16278b01eb94672188d42ae153bd771a8407b45","observation_id":"ff0cc21f-52c7-4825-88c4-c2bf3bdf60ce","resolution":{"observed_at":"2026-08-07T15:37:11.107860Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:10.738823Z","title":"Formalization of requirements for correct systems","venue":null,"work_id":"f6927f32-49c8-45d0-924a-9bcc60922138","year":2020},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:06.555809Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:f1fa109ec46e08bbd809ae092d7771b07b9bedda3a43f02d05abab5d3417e616","observation_id":"19ebe5ee-f843-4052-b65a-1da3c39629c3","resolution":{"observed_at":"2026-08-07T15:37:10.838250Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:10.475132Z","title":"Security Patterns: Integrating security and systems engineering","venue":null,"work_id":"06a83bab-7fda-4440-b1bd-7f30fcc341a0","year":2013},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:06.668989Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:bb689074aae556d78a9edd036cc6dd1207555081acf8404b5d126677a7b0a6e5","observation_id":"53e33837-a1c3-4ad9-8991-518dd17f5e63","resolution":{"observed_at":"2026-08-07T15:37:10.593768Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:10.242027Z","title":"Reusable knowledge in security requirements engineering: a systematic mapping study","venue":null,"work_id":"9925e4e6-a047-4413-9824-c520008ca87c","year":2016},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:06.783616Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:3c6162e5b4da68b648fb85b01cfc097e3b75dee156e2b0ab364dfcb2a6fb5682","observation_id":"c07c24f2-26ea-42a4-96a0-d871d5c01001","resolution":{"observed_at":"2026-08-07T15:37:10.363727Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2207.03209","last_updated":"2022-07-07T10:31:13Z","snapshot_observed_at":"2026-08-17T15:08:24.278440Z","submitted_at":"2022-07-07T10:31:13Z","title":"Application of Validation Obligations to Security Concerns","version":1},"cited_work":{"arxiv_id":"2207.03209","doi":null,"metadata_source":"pith","pith_arxiv_id":"2207.03209","snapshot_observed_at":"2026-08-07T15:37:08.089845Z","title":"Application of Validation Obligations to Security Concerns","venue":"cs.LO","work_id":"ee2ff702-a28f-4cdf-ba20-3b519c03fb7f","year":2022},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:06.926637Z"},"links":{"cited_paper":"/paper/2207.03209","citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:1fb1a9bf129a6d9ceec2ea2d73f5c3497d9bcac114ae69463ea4f471d506b1f9","observation_id":"4e00a5ec-b251-4193-9bdf-46fbe7a19879","resolution":{"observed_at":"2026-08-07T15:37:08.235565Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:10.101650Z","title":"Risk analysis in software design","venue":null,"work_id":"3e6dc3a6-668b-4f7b-abeb-d3f41b9cc13c","year":2004},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:07.046038Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:4f84370062355ba65a6fc35ecee6f00aee21b69df26fbeae42cc6ba20b27c1b0","observation_id":"a73d2b49-cfa7-4fdc-a3ff-0ffe8bd05e4e","resolution":{"observed_at":"2026-08-07T15:37:10.157936Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:09.875354Z","title":"From information security to cyber security","venue":null,"work_id":"2637f7c1-c6b0-47bb-ae27-4a2feac3a35e","year":2013},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:07.201339Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:7652bcd8e7c53b409f8fc88440cfcae1f8e4a3b3034f4a711db27291aa5e152d","observation_id":"02baa5fd-6f4d-4def-93f9-2a60c7a8d721","resolution":{"observed_at":"2026-08-07T15:37:09.996920Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:09.615243Z","title":"Your” what” is my” how”: Iteration and hierarchy in system design","venue":null,"work_id":"620fe8fa-6d78-471a-8390-61dc960aab82","year":2012},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:07.281260Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:1c96f5f8176f60cc08d1532928dd71b7b97826c8b5781622da7021df4cb3a267","observation_id":"63bd5570-c773-4bc6-8831-40dc55a2dc0d","resolution":{"observed_at":"2026-08-07T15:37:09.750136Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:09.365399Z","title":"Beyond 2014: Formal methods for attack tree–based security modeling","venue":null,"work_id":"b2f46617-1aff-44c4-b55e-2dfb134e1e19","year":2014},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:07.425530Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:1d6d067add0fa55c3d50de38afd245d3372c530d5035cea69c63e60c950f9463","observation_id":"7af9d608-3e90-48f0-8f87-c4b2da331491","resolution":{"observed_at":"2026-08-07T15:37:09.484316Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:09.100637Z","title":"Program Development by Stepwise Refinement","venue":null,"work_id":"d854d0aa-6734-400d-b1cb-6651c0eae8a3","year":1971},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:07.549694Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:43282c7062666104af6e54d4c292276ea378ef77d3c0214b5735588712b220ff","observation_id":"43f35625-2036-4787-b168-d57168f827c1","resolution":{"observed_at":"2026-08-07T15:37:09.232164Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:08.862463Z","title":"Sok: Social cyberse- curity","venue":null,"work_id":"3337d2ae-bb90-492c-b7d3-2ee5fcc41d24","year":2022},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:07.666982Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:61fc00e813794aaf050dfad25d96f0711f55678013d7e1cd22f18e8c42278c89","observation_id":"6c7f4dfd-8375-46bb-a8dd-02f9270b126f","resolution":{"observed_at":"2026-08-07T15:37:08.968968Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:08.614842Z","title":"Towards better utilizing static application security testing","venue":null,"work_id":"7ab663d9-598b-4ccc-9fa1-7a67167de5d9","year":2019},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:07.813747Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:c54ba028a0894306cf045780acf506564ce54cec42c1fab40b2932bc338d0a08","observation_id":"1978610c-3a2c-4c6d-942e-e82dd4adf197","resolution":{"observed_at":"2026-08-07T15:37:08.717257Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:37:08.370168Z","title":"Threat modeling: from infancy to maturity","venue":null,"work_id":"17b3d6e1-0da1-43c2-bde8-778c301a7f97","year":2020},"citing_paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T15:37:07.953632Z"},"links":{"citing_paper":"/paper/2505.14514"},"observation_digest":"sha256:776b0410c29241d58b05b971b75389e342ce832dcda1dfd70484585dbd6315e3","observation_id":"0245fa31-cf1f-4fa7-818f-de46f1e4bdf8","resolution":{"observed_at":"2026-08-07T15:37:08.519028Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.14514","last_updated":"2025-05-20T15:42:08Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-13T05:13:03.500744Z","submitted_at":"2025-05-20T15:42:08Z","title":"From What to How: A Taxonomy of Formalized Security Properties"},"reference_resolution":{"displayed":40,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":1,"verified_fuzzy":37},"total_outbound_references":40},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 1 inbound Pith citation observation for arXiv:2505.14514."}