{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:12:48Z","timestamp":1762459968363},"reference-count":0,"publisher":"SCITEPRESS - Science and Technology Publications","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.5220\/0010195100430054","type":"proceedings-article","created":{"date-parts":[[2021,2,18]],"date-time":"2021-02-18T05:19:10Z","timestamp":1613625550000},"page":"43-54","source":"Crossref","is-referenced-by-count":1,"title":["On Security Analysis of Periodic Systems: Expressiveness and Complexity"],"prefix":"10.5220","author":[{"given":"Musab","family":"Alturki","sequence":"first","affiliation":[{"name":"KFUPM, Dhahran, Saudi Arabia, --- Select a Country ---"},{"name":"Runtime Verification Inc., U.S.A., --- Select a Country ---"}]},{"given":"Tajana","family":"Kirigin","sequence":"first","affiliation":[{"name":"Department of Mathematics University of Rijeka, Rijeka, Croatia, --- Select a Country ---"}]},{"given":"Max","family":"Kanovich","sequence":"first","affiliation":[{"name":"University College London, London, U.K., --- Select a Country ---"},{"name":"National Research University Higher School of Economics, Moscow, Russian Federation, --- Select a Country ---"}]},{"given":"Vivek","family":"Nigam","sequence":"first","affiliation":[{"name":"fortiss, Munich, Germany, --- Select a Country ---"}]},{"given":"Andre","family":"Scedrov","sequence":"first","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, U.S.A., --- Select a Country ---"}]},{"given":"Carolyn","family":"Talcott","sequence":"first","affiliation":[{"name":"SRI International, Menlo Park, CA, U.S.A., --- Select a Country ---"}]}],"member":"3171","event":{"name":"7th International Conference on Information Systems Security and Privacy","start":{"date-parts":[[2021,2,11]]},"location":"Online Streaming, --- Select a Country ---","end":{"date-parts":[[2021,2,13]]}},"container-title":["Proceedings of the 7th International Conference on Information Systems Security and Privacy"],"original-title":["On Security Analysis of Periodic Systems: Expressiveness and Complexity"],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T11:24:57Z","timestamp":1683804297000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.scitepress.org\/DigitalLibrary\/Link.aspx?doi=10.5220\/0010195100430054"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2021]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5220\/0010195100430054","relation":{},"subject":[],"published":{"date-parts":[[2021]]}}}