{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,13]],"date-time":"2024-11-13T05:29:21Z","timestamp":1731475761135,"version":"3.28.0"},"reference-count":16,"publisher":"Institution of Engineering and Technology (IET)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IET Comput. Digit. Tech."],"published-print":{"date-parts":[[2007,7,2]]},"DOI":"10.1049\/iet-cdt:20060121","type":"journal-article","created":{"date-parts":[[2007,7,6]],"date-time":"2007-07-06T02:22:24Z","timestamp":1183688544000},"page":"405-413","source":"Crossref","is-referenced-by-count":4,"title":["Dynamic global security-aware synthesis using SystemC"],"prefix":"10.1049","volume":"1","author":[{"given":"F.","family":"Burns","sequence":"first","affiliation":[{"name":"School of Electrical and Computer Engineering, University of Newcastle Upon Tyne, Merz Court, Newcastle Upon Tyne, NE1 7RU, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Murphy","sequence":"additional","affiliation":[{"name":"School of Electrical and Computer Engineering, University of Newcastle Upon Tyne, Merz Court, Newcastle Upon Tyne, NE1 7RU, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Shang","sequence":"additional","affiliation":[{"name":"School of Electrical and Computer Engineering, University of Newcastle Upon Tyne, Merz Court, Newcastle Upon Tyne, NE1 7RU, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Koelmans","sequence":"additional","affiliation":[{"name":"School of Electrical and Computer Engineering, University of Newcastle Upon Tyne, Merz Court, Newcastle Upon Tyne, NE1 7RU, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Yakorlev","sequence":"additional","affiliation":[{"name":"School of Electrical and Computer Engineering, University of Newcastle Upon Tyne, Merz Court, Newcastle Upon Tyne, NE1 7RU, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"265","reference":[{"key":"10.1049\/iet-cdt:20060121_r1","first-page":"388","author":"Kocher","year":"1999","journal-title":"Proc. Advances in Cryptology (CRYPTO 1999), LCNS"},{"key":"10.1049\/iet-cdt:20060121_r2","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/BFb0052259","author":"Biham","year":"1997","journal-title":"Advances in Cryptology \u2013 Proc. CRYPTO '97"},{"key":"10.1049\/iet-cdt:20060121_r3","doi-asserted-by":"crossref","first-page":"492","DOI":"10.1109\/TC.2003.1190590","volume":"52","author":"Bertoni","year":"2003","ISSN":"http:\/\/id.crossref.org\/issn\/0018-9340","issn-type":"print"},{"key":"10.1049\/iet-cdt:20060121_r4","doi-asserted-by":"crossref","first-page":"720","DOI":"10.1109\/TC.2006.90","volume":"55","author":"Yen","year":"2006","ISSN":"http:\/\/id.crossref.org\/issn\/0018-9340","issn-type":"print"},{"key":"10.1049\/iet-cdt:20060121_r5","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1145\/775832.775845","author":"Benini","year":"2003","journal-title":"Proc. Design Automation Conf. (DAC)"},{"key":"10.1049\/iet-cdt:20060121_r6","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1109\/TC.2005.61","volume":"54","author":"Sokolov","year":"2005","ISSN":"http:\/\/id.crossref.org\/issn\/0018-9340","issn-type":"print"},{"key":"10.1049\/iet-cdt:20060121_r7","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/DATE.2005.44","author":"Tiri","year":"2005","journal-title":"Proc. Design Automation and Test in Europe (DATE)"},{"key":"10.1049\/iet-cdt:20060121_r8","first-page":"2909","author":"Aigner","year":"2006","journal-title":"Proc. ISCAS"},{"key":"10.1049\/iet-cdt:20060121_r9","first-page":"238","author":"Schulz-Key","year":"2004","journal-title":"Proc. Asia South Pacific Design Automation Conf. (ASPDAC'04)"},{"key":"10.1049\/iet-cdt:20060121_r10","first-page":"301","author":"Bjerregaard","year":"2004","journal-title":"Proc. Int. Workshop on Power and Time Modelling, Optimization and Simulation (PATMOS)"},{"key":"10.1049\/iet-cdt:20060121_r11","doi-asserted-by":"crossref","first-page":"768","DOI":"10.1109\/43.31534","volume":"8","author":"Devadas","year":"1989","ISSN":"http:\/\/id.crossref.org\/issn\/0278-0070","issn-type":"print"},{"key":"10.1049\/iet-cdt:20060121_r12","doi-asserted-by":"crossref","unstructured":"Jensen, K.: \u2018Coloured Petri nets. Basic concepts, analysis methods and practical use\u2019, Volume 1, Basic concepts. EATCS Monographs in theoretical computer science\u2019, (Springer-Verlag, Berlin, Heidelberg, New York 1997)","DOI":"10.1007\/978-3-642-60794-3"},{"key":"10.1049\/iet-cdt:20060121_r13","first-page":"369","author":"Shang","year":"2002","journal-title":"Proc. ISCAS, Scottsdale, Arizona"},{"key":"10.1049\/iet-cdt:20060121_r14","first-page":"114","author":"Moore","year":"2002","journal-title":"ASYNC'02"},{"key":"10.1049\/iet-cdt:20060121_r15","doi-asserted-by":"crossref","first-page":"628","DOI":"10.1109\/DATE.2005.113","author":"Tiri","year":"2005","journal-title":"Proc. Design Automation and Test in Europe (DATE)"},{"key":"10.1049\/iet-cdt:20060121_r16","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1109\/TC.2003.1190589","volume":"52","author":"Managard","year":"2003","ISSN":"http:\/\/id.crossref.org\/issn\/0018-9340","issn-type":"print"}],"container-title":["IET Computers & Digital Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/iet-cdt_20060121?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T15:10:57Z","timestamp":1731424257000},"score":1,"resource":{"primary":{"URL":"http:\/\/digital-library.theiet.org\/doi\/10.1049\/iet-cdt%3A20060121"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,2]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,7,2]]}},"alternative-id":["10.1049\/iet-cdt:20060121"],"URL":"https:\/\/doi.org\/10.1049\/iet-cdt:20060121","relation":{},"ISSN":["1751-8601","1751-861X"],"issn-type":[{"type":"print","value":"1751-8601"},{"type":"electronic","value":"1751-861X"}],"subject":[],"published":{"date-parts":[[2007,7,2]]}}}