{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T20:39:07Z","timestamp":1648845547569},"reference-count":13,"publisher":"International Academy Publishing (IAP)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.9.4.952-957","type":"journal-article","created":{"date-parts":[[2014,4,23]],"date-time":"2014-04-23T12:46:06Z","timestamp":1398257166000},"source":"Crossref","is-referenced-by-count":0,"title":["Construction of Network Security Architecture Based on Formal Specification in Digital Campus"],"prefix":"10.17706","volume":"9","author":[{"given":"Xiaole","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming","family":"Weng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ying","family":"Wen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2014,4,1]]},"reference":[{"key":"ref1","first-page":"305","article-title":"Design and Realizing of the Digital Campus Security System","volume":"4","author":"Yuan-jiao","year":"2009","unstructured":"[1] Yuan-jiao Zhu, Ke-qin Zhou. Design and Realizing of the Digital Campus Security System, WCSE 2009, vol. 4: pp 305-309.","journal-title":"WCSE"},{"key":"ref2","volume-title":"Network Security Model","author":"Backfield","year":"2008","unstructured":"[2] Backfield J, and Bambenek J. Network Security Model, SANS Institute; 2008."},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.6.1.19-27"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.7.1.169-178"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.7.8.1847-1852"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1016.2011.01351"},{"key":"ref7","first-page":"61","article-title":"Security Infrastructure of Cloud Computing.","volume":"7","author":"Guo","year":"2009","unstructured":"[8] Leshen Guo, Naijing Zhang, Jingang Shang. Security Infrastructure of Cloud Computing. Netinfo Security, vol. 7:61\u221264, 2009.","journal-title":"Netinfo Security"},{"issue":"10","key":"ref8","first-page":"2619","article-title":"Research and expansion of commercial model used in data transmission.","volume":"26","author":"Xu","year":"2005","unstructured":"[9] Chengqiang Xu, Qinghua Shi. Research and expansion of commercial model used in data transmission. Computer Engineering and Design, vol. 26(10):2619\u22122620, 2005.","journal-title":"Computer Engineering and Design"},{"issue":"26","key":"ref9","first-page":"6344","article-title":"Key Technologies of Cloud Computing and Realization of System Case.","volume":"7","author":"Duan","year":"2011","unstructured":"[10] Chunle Duan. Key Technologies of Cloud Computing and Realization of System Case. Computer Knowledge and Technology, vol. 7(26): 6344-6345, 2011.","journal-title":"Computer Knowledge and Technology"},{"issue":"26","key":"ref10","first-page":"113","article-title":"Yongjun Luo. Design and Verification of Security Protocol of Information Transmission for Teaching Affairs Administration System.","volume":"8","author":"Xiong","year":"2009","unstructured":"[11] Weijian Xiong, Xiaole LI, Yongjun Luo. Design and Verification of Security Protocol of Information Transmission for Teaching Affairs Administration System. Computer Applications and Software, vol. 8(26):113-114, 2009.","journal-title":"Computer Applications and Software"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1001.2011.03958"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref13","first-page":"73","article-title":"A first step towards the automatic generation of security protocols.","volume-title":"Proceedings of the Symposium on Network and Distributed Systems Security","author":"Perrig","year":"2000","unstructured":"[15] A. Perrig and D. Song. A first step towards the automatic generation of security protocols. In Proceedings of the Symposium on Network and Distributed Systems Security, 73-83, 2000."}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2015,9,15]],"date-time":"2015-09-15T11:27:10Z","timestamp":1442316430000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/10933"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,1]]},"references-count":13,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2014,4,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.9.4.952-957","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2014,4,1]]}}}