{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T18:26:14Z","timestamp":1743877574471},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1109\/iske.2017.8258789","type":"proceedings-article","created":{"date-parts":[[2018,1,15]],"date-time":"2018-01-15T17:47:01Z","timestamp":1516038421000},"page":"1-6","source":"Crossref","is-referenced-by-count":3,"title":["Modeling and validation for embedded software confidentiality and integrity"],"prefix":"10.1109","author":[{"given":"Xinwen","family":"Hu","sequence":"first","affiliation":[]},{"given":"Yi","family":"Zhuang","sequence":"additional","affiliation":[]},{"given":"Zining","family":"Cao","sequence":"additional","affiliation":[]},{"given":"Tong","family":"Ye","sequence":"additional","affiliation":[]},{"given":"Mi","family":"Li","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Schedulability verification of embedded system AADL model based on timed automata","author":"jing","year":"2015","journal-title":"Journal of Southeast University"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IRC.2017.59"},{"key":"ref12","first-page":"259","author":"qamar","year":"2011","journal-title":"Validation of Security-Design Models Using Z Formal Methods and Software Engineering"},{"key":"ref13","article-title":"Authentication method based on UML and model detection security model","author":"zhang","year":"2009","journal-title":"Hefei China University of Science and Technology"},{"journal-title":"Formal transformation and validation of UML model based on Z","year":"2013","author":"yang","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2014.2320714"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2016.01.005"},{"key":"ref4","first-page":"74","author":"bell","year":"1973","journal-title":"Secure Computer Systems Mathematical Foundations"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/AINA.2015.227"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/2.241422"},{"key":"ref5","first-page":"76","author":"biba","year":"1977","journal-title":"Integrity Considerations for Secure Computer Systems"},{"key":"ref8","first-page":"17","author":"schellhorn","year":"2000","journal-title":"Verification of a which security model for multi applicative Smart Cards"},{"key":"ref7","first-page":"2","article-title":"Nondiscretionary “Controls for commercial applications","author":"lipner","year":"1982","journal-title":"Proc of IEEE Symposium on Security and Privacy"},{"journal-title":"The Z Notation A Reference Manual","year":"1992","author":"spivey","key":"ref2"},{"key":"ref1","first-page":"126","article-title":"the current situation and development trend of embedded software technology","author":"lijun","year":"2016","journal-title":"Information Systems Engineering"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2620429"}],"event":{"name":"2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","start":{"date-parts":[[2017,11,24]]},"location":"Nanjing, China","end":{"date-parts":[[2017,11,26]]}},"container-title":["2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8246022\/8258711\/08258789.pdf?arnumber=8258789","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,2]],"date-time":"2018-02-02T02:00:40Z","timestamp":1517536840000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8258789\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/iske.2017.8258789","relation":{},"subject":[],"published":{"date-parts":[[2017,11]]}}}