{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T18:52:43Z","timestamp":1770749563701,"version":"3.50.0"},"reference-count":9,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Industrial Joint Research (IGF) of the German Federal Ministry for Economic Affairs and Energy Based on an Enactment of the German Parliament as part of the \u201cAuProZert\u201d Project","award":["01IF23319N"],"award-info":[{"award-number":["01IF23319N"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Embedded Syst. Lett."],"published-print":{"date-parts":[[2025,10]]},"DOI":"10.1109\/les.2025.3598202","type":"journal-article","created":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T17:37:45Z","timestamp":1760636265000},"page":"349-352","source":"Crossref","is-referenced-by-count":1,"title":["Formal Modeling and Verification of Generic Credential Management Processes for Industrial Cyber\u2013Physical Systems"],"prefix":"10.1109","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0679-3841","authenticated-orcid":false,"given":"Julian","family":"G\u00f6ppert","sequence":"first","affiliation":[{"name":"Institute of Reliable Embedded Systems and Communication Electronics (ivESK), Offenburg University, Offenburg, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0878-2919","authenticated-orcid":false,"given":"Axel","family":"Sikora","sequence":"additional","affiliation":[{"name":"Institute of Reliable Embedded Systems and Communication Electronics (ivESK), Offenburg University, Offenburg, Germany"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.17560\/atp.v63i5.2594"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"26","DOI":"10.3390\/jsan13020026","article-title":"A survey on life-cycle-oriented certificate management in industrial networking environments","volume":"13","author":"G\u00f6ppert","year":"2024","journal-title":"J. Sens. Actuator Netw."},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1561\/9781680832075","volume-title":"Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif","author":"Blanchet","year":"2016"},{"key":"ref4","volume-title":"Repository","year":"2025"},{"key":"ref5","volume-title":"Security extensions for PROFINET, PI working group security","year":"2019"},{"key":"ref6","volume-title":"Secure Device Identity","year":"2018"},{"key":"ref7","volume-title":"Internet X.509 public key infrastructure certificate and CRL profile","author":"Boeyen","year":"2008"},{"key":"ref8","volume-title":"The transport layer security (TLS) protocol version 1.2","author":"Rescorla","year":"2008"},{"key":"ref9","first-page":"2465","article-title":"Formal verification of authenticated encryption with associated data with tamarin prover","volume-title":"Proc. Congr. Comput. Sci., Comput. Eng., Appl. Comput. (CSCE)","author":"Mieno"}],"container-title":["IEEE Embedded Systems Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/4563995\/11205899\/11205915.pdf?arnumber=11205915","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T04:52:13Z","timestamp":1760676733000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11205915\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10]]},"references-count":9,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/les.2025.3598202","relation":{},"ISSN":["1943-0663","1943-0671"],"issn-type":[{"value":"1943-0663","type":"print"},{"value":"1943-0671","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10]]}}}