{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T10:40:06Z","timestamp":1725878406522},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319520148"},{"type":"electronic","value":"9783319520155"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-52015-5_10","type":"book-chapter","created":{"date-parts":[[2017,1,12]],"date-time":"2017-01-12T03:51:57Z","timestamp":1484193117000},"page":"95-101","source":"Crossref","is-referenced-by-count":1,"title":["SDN Protocol Analysis with Process Algebra Method"],"prefix":"10.1007","author":[{"given":"Chen","family":"Fu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fu","family":"Bing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,1,13]]},"reference":[{"key":"10_CR1","unstructured":"http:\/\/theory.stanford.edu\/~rvg\/process.html"},{"key":"10_CR2","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"10_CR3","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"10_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624193","volume-title":"Process Algebra","author":"JCM Baeten","year":"1990","unstructured":"Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge University Press, Cambridge (1990)"},{"key":"10_CR5","unstructured":"http:\/\/theory.stanford.edu\/~rvg\/"},{"key":"10_CR6","first-page":"120","volume-title":"Encyclopedia of Parallel Computing","author":"R Nicola De","year":"2011","unstructured":"De Nicola, R.: Behavioral Equivalences. In: Padua, D. (ed.) Encyclopedia of Parallel Computing, pp. 120\u2013127. Springer, New York (2011)"},{"key":"10_CR7","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/s10817-015-9358-9","volume":"56","author":"T Bourke","year":"2016","unstructured":"Bourke, T., Van Glabbeek, R.J., H\u00f6fner, P.: Mechanizing process algebra for network protocols. J. Autom. Reason. 56, 309\u2013341 (2016). Springer Verlag","journal-title":"J. Autom. Reason."},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Simonak, S., Hudak, \u0160., Korecko, \u0160.: Protocol specification and verification using process algebra and petri nets. In: 2009 International Conference on Computational Intelligence. Modelling and Simulation, Brno, pp. 110\u2013114 (2009)","DOI":"10.1109\/CSSim.2009.24"},{"key":"10_CR9","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/j.tcs.2015.08.019","volume":"623","author":"J Robert","year":"2016","unstructured":"Robert, J.: Colvin: modelling and analysing neural networks using a hybrid process algebra. Theor. Comput. Sci. 623, 15\u201364 (2016)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"H\u00f6fner, P.: Using process algebra to design better protocols. Forum\u201dMath-for-Industry\u201d (2015)","DOI":"10.1007\/978-981-10-0962-4_8"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Singh, A., Ramakrishnan, C.R., Smolka, S.A.: A process calculus for mobile Ad Hoc networks. In: Coordination, pp. 296\u2013314 (2008)","DOI":"10.1007\/978-3-540-68265-3_19"},{"issue":"6","key":"10_CR12","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1016\/j.scico.2009.07.008","volume":"75","author":"A Singh","year":"2010","unstructured":"Singh, A., Ramakrishnan, C.R., Smolka, S.A.: A process calculus for Mobile Ad Hoc Networks. Sci. Comput. Program. 75(6), 440\u2013469 (2010)","journal-title":"Sci. Comput. Program."},{"key":"10_CR13","unstructured":"Software-defined networking (SDN) definition. Opennetworking.org. Accessed 26 Oct 2014"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Gai,K., Li, S.: Towards cloud computing: a literature review on cloud computing and its development trends. In: 2012 Fourth International Conference on Multimedia Information Networking and Security, Nanjing, China, pp. 142\u2013146 (2012)","DOI":"10.1109\/MINES.2012.240"},{"issue":"99","key":"10_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TCC.2016.2594172","volume":"PP","author":"K Gai","year":"2016","unstructured":"Gai, K., Qiu, L., Zhao, H., Qiu, M.: Cost-aware multimedia data allocation for heterogeneous memory using genetic algorithm in cloud computing. IEEE Trans. Cloud Comput. PP(99), 1 (2016)","journal-title":"IEEE Trans. Cloud Comput."},{"key":"10_CR16","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1016\/j.jnca.2015.05.016","volume":"59","author":"K Gai","year":"2016","unstructured":"Gai, K., Qiu, M., Zhao, H., Tao, L., Zong, Z.: Dynamic energy-aware cloudlet-based mobile cloud computing model for green computing. J. Netw. Comput. Appl. 59, 46\u201354 (2016)","journal-title":"J. Netw. Comput. Appl."},{"issue":"12","key":"10_CR17","doi-asserted-by":"crossref","first-page":"3528","DOI":"10.1109\/TC.2015.2409857","volume":"64","author":"M Qiu","year":"2015","unstructured":"Qiu, M., Zhong, M., Li, J., Gai, K., Zong, Z.: Phase-change memory optimization for green cloud with genetic algorithm. IEEE Trans. Comput. 64(12), 3528\u20133540 (2015)","journal-title":"IEEE Trans. Comput."},{"key":"10_CR18","unstructured":"http:\/\/www.frenetic-lang.org . Accessed 12 Sept (2013)"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Monsanto, C., Foster, N., Harrison, R., Walker, D.: A compiler and run-time system for network programming languages. In: ACM SIGPLAN Notices, vol. 47, pp. 217\u2013230. ACM (2012)","DOI":"10.1145\/2103656.2103685"},{"key":"10_CR20","unstructured":"Monsanto, C., Reich, J., Foster, N., Rexford, J., Walker, D.: Composing software defined networks. In: NSDI, April 2013"},{"key":"10_CR21","unstructured":"Anderson, C.J., Foster, N., Guha, A., Jeannin, J.-B., Kozen, D., Schlesinger, C., Walker, D.: NetKAT: semantic foundations for networks (2013)"},{"issue":"2","key":"10_CR22","first-page":"44","volume":"5","author":"N Bjorner","year":"2015","unstructured":"Bjorner, N., Foster, N., Brighten Godfrey, P., Zave, P.: Formal foundations for networking (Dagstuhl Seminar 15071). Dagstuhl reports 5(2), 44\u201363 (2015)","journal-title":"Dagstuhl reports"},{"issue":"10","key":"10_CR23","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1145\/2661061.2661063","volume":"57","author":"M Casado","year":"2014","unstructured":"Casado, M., Foster, N., Guha, A.: Abstractions for Software-Defined Networks. CACM 57(10), 86\u201395 (2014)","journal-title":"CACM"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"McClurg, J., Hojjat, H., Foster, N., Cerny, P.: Event-driven network programming. In: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Santa Barbara, CA, June 2016","DOI":"10.1145\/2908080.2908097"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Reitblatt, M., Canini, M., Guha, A., Foster, N.: FatTire: declarative fault tolerance for software-defined networks. In: ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking (HotSDN), Hong Kong, China, August 2013","DOI":"10.1145\/2491185.2491187"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Gai, K., Qiu, M., Zhao, H., Liu, M.: Energy-aware optimal task assignment for mobile heterogeneous embedded systems in cloud computing. In: 2016 IEEE 3rd International Conference on Cyber Security and Cloud Computing (CSCloud), Beijing, China, pp. 198\u2013203. IEEE (2016)","DOI":"10.1109\/CSCloud.2016.48"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Gai, K., Du, Z., Qiu, M., Zhao, H.: Efficiency-aware workload optimizations of heterogenous cloud computing for capacity planning in financial industry. In: The 2nd IEEE International Conference on Cyber Security and Cloud Computing, New York, USA, pp. 1\u20136. IEEE (2015)","DOI":"10.1109\/CSCloud.2015.73"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Gai, K., Qiu, M., Tao, L., Zhu, Y.: Intrusion detection techniques for mobile cloud computing in heterogeneous 5G. Secur. Commun. Netw. 1\u201310 (2015)","DOI":"10.1002\/sec.1224"},{"issue":"99","key":"10_CR29","first-page":"1","volume":"PP","author":"Y Li","year":"2016","unstructured":"Li, Y., Gai, K., Qiu, L., Qiu, M., Zhao, H.: Intelligent cryptography approach for secure distributed big data storage in cloud computing. Inf. Sci. PP(99), 1 (2016)","journal-title":"Inf. Sci."},{"key":"10_CR30","first-page":"1","volume":"PP","author":"M Qiu","year":"2016","unstructured":"Qiu, M., Gai, K., Thuraisingham, B., Tao, L., Zhao, H.: Proactive user-centric secure data scheme using attribute-based semantic access controls for mobile clouds in financial industry. Fut. Gener. Comput. Syst. PP, 1 (2016)","journal-title":"Fut. Gener. Comput. Syst."},{"key":"10_CR31","doi-asserted-by":"crossref","first-page":"1339","DOI":"10.1109\/TC.2015.2470247","volume":"65","author":"Y Li","year":"2015","unstructured":"Li, Y., Dai, W., Ming, Z., Qiu, M.: Privacy protection for preventing data over-collection in smart city. IEEE Trans. Comput. 65, 1339\u20131350 (2015)","journal-title":"IEEE Trans. Comput."},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"Gai, K., Qiu, M., Zhao, H., Xiong, J.: Privacy-aware adaptive data encryption strategy of big data in cloud computing. In: The 2nd IEEE International Conference of Scalable and Smart Cloud (SSC 2016), Beijing, China, pp. 273\u2013278. IEEE (2016)","DOI":"10.1109\/CSCloud.2016.52"},{"key":"10_CR33","doi-asserted-by":"crossref","unstructured":"Gai, K., Qiu, M., Zhao, H., Dai, W.: Anti-counterfeit schema using monte carlo simulation for ecommerce in cloud systems. In: The 2nd IEEE International Conference on Cyber Security and Cloud Computing, New York, USA, pp. 74\u201379. IEEE (2015)","DOI":"10.1109\/CSCloud.2015.75"}],"container-title":["Lecture Notes in Computer Science","Smart Computing and Communication"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-52015-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,21]],"date-time":"2022-07-21T10:43:36Z","timestamp":1658400216000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-52015-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319520148","9783319520155"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-52015-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}