{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:51:43Z","timestamp":1725612703868},"reference-count":0,"publisher":"SCITEPRESS - Science and Technology Publications","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.5220\/0008851507650774","type":"proceedings-article","created":{"date-parts":[[2020,3,26]],"date-time":"2020-03-26T15:12:12Z","timestamp":1585235532000},"page":"765-774","source":"Crossref","is-referenced-by-count":3,"title":["Towards a Comprehensive Solution for Secure Cryptographic Protocol Execution based on Runtime Verification"],"prefix":"10.5220","author":[{"given":"Christian","family":"Colombo","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Malta, Malta, --- Select a Country ---"}]},{"given":"Mark","family":"Vella","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Malta, Malta, --- Select a Country ---"}]}],"member":"3171","event":{"name":"4th International Workshop on FORmal methods for Security Engineering","start":{"date-parts":[[2020,2,25]]},"location":"Valletta, Malta","end":{"date-parts":[[2020,2,27]]}},"container-title":["Proceedings of the 6th International Conference on Information Systems Security and Privacy"],"original-title":["Towards a Comprehensive Solution for Secure Cryptographic Protocol Execution based on Runtime Verification"],"deposited":{"date-parts":[[2020,3,26]],"date-time":"2020-03-26T17:30:38Z","timestamp":1585243838000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.scitepress.org\/DigitalLibrary\/Link.aspx?doi=10.5220\/0008851507650774"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5220\/0008851507650774","relation":{},"subject":[],"published":{"date-parts":[[2020]]}}}