{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:08:38Z","timestamp":1730297318597,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,9]],"date-time":"2022-10-09T00:00:00Z","timestamp":1665273600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,9]],"date-time":"2022-10-09T00:00:00Z","timestamp":1665273600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10,9]]},"DOI":"10.1109\/smc53654.2022.9945464","type":"proceedings-article","created":{"date-parts":[[2022,11,18]],"date-time":"2022-11-18T20:49:04Z","timestamp":1668804544000},"page":"2080-2084","source":"Crossref","is-referenced-by-count":0,"title":["Formal Representation of Trusted Meta-requirements"],"prefix":"10.1109","author":[{"given":"Xiangjun","family":"Kong","sequence":"first","affiliation":[{"name":"Beijing University of Technology,Faculty of Information Technology,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuejun","family":"Yu","sequence":"additional","affiliation":[{"name":"Beijing University of Technology,Faculty of Information Technology,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"12","article-title":"Formal modeling and analysis of software requirement defects based on UML [J]","author":"zhetao","year":"2019","journal-title":"Automation instrumentation"},{"key":"ref11","first-page":"1391","article-title":"Research on meta-requirement model and meta-requirement set based on ontology","volume":"29","author":"xin-xing","year":"2012","journal-title":"Application Research of Computers"},{"key":"ref12","article-title":"Meta-requirement Method Towards Analyzing Completeness of Requirements Specification[C]","author":"ong","year":"2018","journal-title":"Proceedings of the Future Technologies Conference"},{"key":"ref13","first-page":"2","article-title":"High credibility software engineering technology [J]","volume":"31","author":"huowang","year":"2003","journal-title":"Acta Electronica Sinica"},{"key":"ref14","first-page":"291","article-title":"Summary of major research programs of Trusted Software Basic Research [J]","volume":"32","author":"jifeng","year":"2018","journal-title":"Science Foundation of China"},{"key":"ref15","first-page":"249","article-title":"Economic method analysis of non-functional requirements satisfiability of trusted software [J]","volume":"53","author":"shirakawa","year":"2017","journal-title":"Computer Engineering and Application"},{"key":"ref16","first-page":"108","article-title":"Review of Formal Methods in Software Engineering [J]","author":"wanlu","year":"2015","journal-title":"Digital Technology and Application"},{"key":"ref17","first-page":"110","article-title":"Encyclopedia of Machine Learning and Data Mining[J]","volume":"2","author":"flach","year":"2016","journal-title":"Journal of Shijiazhuang Vocational Technology Institute"},{"key":"ref18","first-page":"66","article-title":"EtcRepresentation method of structural design specification based on first-order predicate logic [C]","author":"zehan","year":"2021","journal-title":"Digital Publishing Center of China Building Industry Press Proceedings of the 7th National BIM Academic Conference"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-42221-9_2"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"12051","DOI":"10.1088\/1757-899X\/769\/1\/012051","article-title":"Meta-Requirement Mapping Model[J]","volume":"769","author":"ong","year":"2020","journal-title":"IOP Conference Series: Materials Science and Engineering"},{"key":"ref3","first-page":"1","article-title":"Convergence in trusted computing and virtualized systems: A new dimension towards trusted intelligent system[C]","author":"vinh","year":"2016","journal-title":"of International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks"},{"journal-title":"Research on formalization method of online examination software requirement specification based on B method [D]","year":"2016","author":"kexin","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.2991\/meic-15.2015.200"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"12051","DOI":"10.1088\/1757-899X\/769\/1\/012051","article-title":"Meta-Requirement Mapping Model[J]","volume":"769","author":"ong","year":"2020","journal-title":"IOP Conference Series: Materials Science and Engineering"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2021.102073"},{"journal-title":"Research and Implementation of Trusted Runtime Environment Reinforcement Technology Based on Security Unit [D]","year":"2018","author":"xiao","key":"ref2"},{"journal-title":"Security Design of Embedded System Based on Trusted Computing Technology [D]","year":"2018","author":"shijie","key":"ref1"},{"key":"ref9","first-page":"54","article-title":"Aspect-oriented requirements analysis based on formal methods [J]","author":"can","year":"2017","journal-title":"Journal of Guangdong University of Technology"},{"key":"ref20","first-page":"327","article-title":"Research on the transfer of technology application fields based on set theory [J]","volume":"32","author":"feifei","year":"2014","journal-title":"Research on Science of Science"}],"event":{"name":"2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","start":{"date-parts":[[2022,10,9]]},"location":"Prague, Czech Republic","end":{"date-parts":[[2022,10,12]]}},"container-title":["2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9945068\/9945069\/09945464.pdf?arnumber=9945464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,12]],"date-time":"2022-12-12T19:53:41Z","timestamp":1670874821000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9945464\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,9]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/smc53654.2022.9945464","relation":{},"subject":[],"published":{"date-parts":[[2022,10,9]]}}}