{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,7]],"date-time":"2025-08-07T21:16:19Z","timestamp":1754601379154,"version":"3.40.3"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319944951"},{"type":"electronic","value":"9783319944968"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-94496-8_3","type":"book-chapter","created":{"date-parts":[[2018,6,19]],"date-time":"2018-06-19T01:30:19Z","timestamp":1529371819000},"page":"27-43","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Model Checking the Information Flow Security of Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Christopher","family":"Gerking","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Schubert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Bodden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,20]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/BFb0054177","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Aceto","year":"1998","unstructured":"Aceto, L., Burgue\u00f1o, A., Larsen, K.G.: Model checking via reachability testing for timed automata. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol. 1384, pp. 263\u2013280. Springer, Heidelberg (1998). \nhttps:\/\/doi.org\/10.1007\/BFb0054177"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Agat, J.: Transforming out timing leaks. In: POPL 2000, pp. 40\u201353. ACM (2000)","DOI":"10.1145\/325694.325702"},{"issue":"3\u20134","key":"3_CR3","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/j.ijcip.2010.09.001","volume":"3","author":"R Akella","year":"2010","unstructured":"Akella, R., Tang, H., McMillin, B.M.: Analysis of information flow security in cyber-physical systems. Int. J. Crit. Infrastruct. Prot. 3(3\u20134), 157\u2013173 (2010)","journal-title":"Int. J. Crit. Infrastruct. Prot."},{"issue":"1","key":"3_CR4","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking in dense real-time. Inf. Comput. 104(1), 2\u201334 (1993)","journal-title":"Inf. Comput."},{"issue":"2","key":"3_CR5","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"issue":"2\u20133","key":"3_CR6","first-page":"137","volume":"54","author":"R Barbuti","year":"2003","unstructured":"Barbuti, R., Tesei, L.: A decidable notion of timed non-interference. Fundamenta Informaticae 54(2\u20133), 137\u2013150 (2003)","journal-title":"Fundamenta Informaticae"},{"issue":"6","key":"3_CR7","doi-asserted-by":"publisher","first-page":"1207","DOI":"10.1017\/S0960129511000193","volume":"21","author":"G Barthe","year":"2011","unstructured":"Barthe, G., D\u2019Argenio, P.R., Rezk, T.: Secure information flow by self-composition. Math. Struct. Comput. Sci. 21(6), 1207\u20131252 (2011)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2","key":"3_CR8","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1080\/00207179.2014.944356","volume":"88","author":"G Benattar","year":"2015","unstructured":"Benattar, G., Cassez, F., Lime, D., Roux, O.H.: Control and synthesis of non-interferent timed systems. Int. J. Control 88(2), 217\u2013236 (2015)","journal-title":"Int. J. Control"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/BFb0020949","volume-title":"Hybrid Systems III","author":"J Bengtsson","year":"1996","unstructured":"Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., Yi, W.: UPPAAL\u2014a tool suite for automatic verification of real-time systems. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds.) HS 1995. LNCS, vol. 1066, pp. 232\u2013243. Springer, Heidelberg (1996). \nhttps:\/\/doi.org\/10.1007\/BFb0020949"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","volume-title":"Lectures on Concurrency and Petri Nets","author":"J Bengtsson","year":"2004","unstructured":"Bengtsson, J., Yi, W.: Timed automata: semantics, algorithms and tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 87\u2013124. Springer, Heidelberg (2004). \nhttps:\/\/doi.org\/10.1007\/978-3-540-27755-2_3"},{"issue":"1","key":"3_CR11","doi-asserted-by":"publisher","first-page":"6:1","DOI":"10.1145\/3023872","volume":"50","author":"AK Biswas","year":"2017","unstructured":"Biswas, A.K., Ghosal, D., Nagaraja, S.: A survey of timing channels and countermeasures. ACM Comput. Surv. 50(1), 6:1\u20136:39 (2017)","journal-title":"ACM Comput. Surv."},{"issue":"3","key":"3_CR12","first-page":"389","volume":"93","author":"D Broman","year":"2013","unstructured":"Broman, D., Derler, P., Eidson, J.: Temporal issues in cyber-physical systems. J. Indian Inst. Sci. 93(3), 389\u2013402 (2013)","journal-title":"J. Indian Inst. Sci."},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-642-02617-1_3","volume-title":"Advances in Information Security and Assurance","author":"F Cassez","year":"2009","unstructured":"Cassez, F.: The dark side of timed opacity. In: Park, J.H., Chen, H.-H., Atiquzzaman, M., Lee, C., Kim, T., Yeo, S.-S. (eds.) ISA 2009. LNCS, vol. 5576, pp. 21\u201330. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-02617-1_3"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/3-540-56496-9_24","volume-title":"Computer Aided Verification","author":"K \u010cer\u0101ns","year":"1993","unstructured":"\u010cer\u0101ns, K.: Decidability of bisimulation equivalences for parallel timer processes. In: von Bochmann, G., Probst, D.K. (eds.) CAV 1992. LNCS, vol. 663, pp. 302\u2013315. Springer, Heidelberg (1993). \nhttps:\/\/doi.org\/10.1007\/3-540-56496-9_24"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Chattopadhyay, A., Prakash, A., Shafique, M.: Secure cyber-physical systems: current trends, tools and open research problems. In: DATE 2017, pp. 1104\u20131109. IEEE (2017)","DOI":"10.23919\/DATE.2017.7927154"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Crnkovic, I., Malavolta, I., Muccini, H., Sharaf, M.: On the use of component-based principles and practices for architecting cyber-physical systems. In: CBSE 2016, pp. 23\u201332. IEEE (2016)","DOI":"10.1109\/CBSE.2016.9"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/10722599_14","volume-title":"Computer Security - ESORICS 2000","author":"N Evans","year":"2000","unstructured":"Evans, N., Schneider, S.: Analysing time dependent security properties in CSP using PVS. In: Cuppens, F., Deswarte, Y., Gollmann, D., Waidner, M. (eds.) ESORICS 2000. LNCS, vol. 1895, pp. 222\u2013237. Springer, Heidelberg (2000). \nhttps:\/\/doi.org\/10.1007\/10722599_14"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-319-21690-4_3","volume-title":"Computer Aided Verification","author":"B Finkbeiner","year":"2015","unstructured":"Finkbeiner, B., Rabe, M.N., S\u00e1nchez, C.: Algorithms for model checking HyperLTL and HyperCTL$$^*$$. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 30\u201348. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-21690-4_3"},{"issue":"1","key":"3_CR19","doi-asserted-by":"publisher","first-page":"5","DOI":"10.3233\/JCS-1994\/1995-3103","volume":"3","author":"R Focardi","year":"1995","unstructured":"Focardi, R., Gorrieri, R.: A taxonomy of security properties for process algebras. J. Comput. Secur. 3(1), 5\u201334 (1995)","journal-title":"J. Comput. Secur."},{"issue":"1","key":"3_CR20","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/JSAC.2002.806122","volume":"21","author":"R Focardi","year":"2003","unstructured":"Focardi, R., Gorrieri, R., Martinelli, F.: Real-time information flow analysis. IEEE J. Sel. Areas Commun. 21(1), 20\u201335 (2003)","journal-title":"IEEE J. Sel. Areas Commun."},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/978-3-540-31982-5_19","volume-title":"Foundations of Software Science and Computational Structures","author":"R Focardi","year":"2005","unstructured":"Focardi, R., Rossi, S., Sabelfeld, A.: Bridging language-based and process calculi security. In: Sassone, V. (ed.) FoSSaCS 2005. LNCS, vol. 3441, pp. 299\u2013315. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/978-3-540-31982-5_19"},{"key":"3_CR22","unstructured":"Gerking, C.: Traceability of information flow requirements in cyber-physical systems engineering. In: CEUR Workshop Proceedings, DocSym@MoDELS 2016, vol. 1735 (2016)"},{"key":"3_CR23","doi-asserted-by":"publisher","unstructured":"Gerking, C.: Detection of a timing channel in an UPPAAL model of a cyber-manufacturing system (2018). \nhttps:\/\/doi.org\/10.5281\/zenodo.1034024","DOI":"10.5281\/zenodo.1034024"},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/11603009_22","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"R Giacobazzi","year":"2005","unstructured":"Giacobazzi, R., Mastroeni, I.: Timed abstract non-interference. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol. 3829, pp. 289\u2013303. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/11603009_22"},{"issue":"4","key":"3_CR25","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1109\/MDAT.2017.2709310","volume":"34","author":"J Giraldo","year":"2017","unstructured":"Giraldo, J., Sarkar, E., C\u00e1rdenas, A.A., Maniatakos, M., Kantarcioglu, M.: Security and privacy in cyber-physical systems: a survey of surveys. IEEE Des. Test 34(4), 7\u201317 (2017)","journal-title":"IEEE Des. Test"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: IEEE S&P, pp. 11\u201320. IEEE (1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Unwinding and inference control. In: IEEE S&P, pp. 75\u201387. IEEE (1984)","DOI":"10.1109\/SP.1984.10019"},{"issue":"3\u20134","key":"3_CR28","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/s10207-004-0037-9","volume":"2","author":"R Gorrieri","year":"2004","unstructured":"Gorrieri, R., Lanotte, R., Maggiolo-Schettini, A., Martinelli, F., Tini, S., Tronci, E.: Automated analysis of timed security. Int. J. Inf. Secur. 2(3\u20134), 168\u2013186 (2004)","journal-title":"Int. J. Inf. Secur."},{"key":"3_CR29","unstructured":"Guttman, J.D., Nadel, M.E.: What needs securing. In: CSFW, pp. 34\u201357. MITRE Corporation Press (1988)"},{"issue":"3\u20134","key":"3_CR30","first-page":"255","volume":"30","author":"C Heinzemann","year":"2015","unstructured":"Heinzemann, C., Brenner, C., Dziwok, S., Sch\u00e4fer, W.: Automata-based refinement checking for real-time systems. Comput. Sci. - R&D 30(3\u20134), 255\u2013283 (2015)","journal-title":"Comput. Sci. - R&D"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Kashyap, V., Wiedermann, B., Hardekopf, B.: Timing- and termination-sensitive secure information flow. In: IEEE S&P, pp. 413\u2013428. IEEE (2011)","DOI":"10.1109\/SP.2011.19"},{"key":"3_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/11863908_16","volume-title":"Computer Security \u2013 ESORICS 2006","author":"B K\u00f6pf","year":"2006","unstructured":"K\u00f6pf, B., Basin, D.: Timing-sensitive information flow analysis for synchronous systems. In: Gollmann, D., Meier, J., Sabelfeld, A. (eds.) ESORICS 2006. LNCS, vol. 4189, pp. 243\u2013262. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/11863908_16"},{"issue":"3","key":"3_CR33","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S1571-0661(04)00229-4","volume":"52","author":"R Lanotte","year":"2001","unstructured":"Lanotte, R., Maggiolo-Schettini, A., Tini, S.: Privacy in real-time systems. Electron. Notes Theor. Comput. Sci. 52(3), 295\u2013305 (2001)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"5","key":"3_CR34","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1109\/TSE.2010.4","volume":"36","author":"R Lanotte","year":"2010","unstructured":"Lanotte, R., Maggiolo-Schettini, A., Troina, A.: Time and probability-based information flow analysis. IEEE Trans. Softw. Eng. 36(5), 719\u2013734 (2010)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: CPS foundations. In: DAC 2010, pp. 737\u2013742. ACM (2010)","DOI":"10.1145\/1837274.1837462"},{"key":"3_CR36","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.entcs.2006.11.002","volume":"168","author":"R Meyden van der","year":"2007","unstructured":"van der Meyden, R., Zhang, C.: Algorithmic verification of noninterference properties. Electron. Notes Theor. Comput. Sci. 168, 61\u201375 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"47","key":"3_CR37","doi-asserted-by":"publisher","first-page":"4123","DOI":"10.1016\/j.tcs.2010.08.013","volume":"411","author":"R Meyden van der","year":"2010","unstructured":"van der Meyden, R., Zhang, C.: A comparison of semantic models for noninterference. Theor. Comput. Sci. 411(47), 4123\u20134147 (2010)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR38","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1016\/j.infsof.2016.11.004","volume":"83","author":"PH Nguyen","year":"2017","unstructured":"Nguyen, P.H., Ali, S., Yue, T.: Model-based security engineering for cyber-physical systems. Inf. Softw. Technol. 83, 116\u2013135 (2017)","journal-title":"Inf. Softw. Technol."},{"issue":"5","key":"3_CR39","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1109\/MSP.2014.90","volume":"12","author":"S Peisert","year":"2014","unstructured":"Peisert, S., Margulies, J., Nicol, D.M., Khurana, H., Sawall, C.: Designed-in security for cyber-physical systems. IEEE Secur. Priv. 12(5), 9\u201312 (2014)","journal-title":"IEEE Secur. Priv."},{"key":"3_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-662-54455-6_1","volume-title":"Principles of Security and Trust","author":"W Rafnsson","year":"2017","unstructured":"Rafnsson, W., Jia, L., Bauer, L.: Timing-sensitive noninterference through composition. In: Maffei, M., Ryan, M. (eds.) POST 2017. LNCS, vol. 10204, pp. 3\u201325. Springer, Heidelberg (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-662-54455-6_1"},{"issue":"1","key":"3_CR41","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s00165-012-0251-6","volume":"25","author":"AW Roscoe","year":"2013","unstructured":"Roscoe, A.W., Huang, J.: Checking noninterference in timed CSP. Formal Asp. Comput. 25(1), 3\u201335 (2013)","journal-title":"Formal Asp. Comput."},{"issue":"1","key":"3_CR42","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.C.: Language-based information-flow security. IEEE J. Sel. Areas Commun. 21(1), 5\u201319 (2003)","journal-title":"IEEE J. Sel. Areas Commun."},{"key":"3_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/978-3-319-69483-2_19","volume-title":"Dependable Software Engineering. Theories, Tools, and Applications","author":"S Schivo","year":"2017","unstructured":"Schivo, S., Yildiz, B.M., Ruijters, E., Gerking, C., Kumar, R., Dziwok, S., Rensink, A., Stoelinga, M.: How to efficiently build a front-end tool for UPPAAL: a model-driven approach. In: Larsen, K.G., Sokolsky, O., Wang, J. (eds.) SETTA 2017. LNCS, vol. 10606, pp. 319\u2013336. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-69483-2_19"},{"issue":"6","key":"3_CR44","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1016\/j.cose.2009.01.005","volume":"28","author":"J Son","year":"2009","unstructured":"Son, J., Alves-Foss, J.: A formal framework for real-time information flow analysis. Comput. Secur. 28(6), 421\u2013432 (2009)","journal-title":"Comput. Secur."},{"key":"3_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-319-89722-6_2","volume-title":"Principles of Security and Trust","author":"P Vasilikos","year":"2018","unstructured":"Vasilikos, P., Nielson, F., Nielson, H.R.: Secure information release in timed automata. In: Bauer, L., K\u00fcsters, R. (eds.) POST 2018. LNCS, vol. 10804, pp. 28\u201352. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-89722-6_2"}],"container-title":["Lecture Notes in Computer Science","Engineering Secure Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-94496-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,7]],"date-time":"2020-02-07T05:05:46Z","timestamp":1581051946000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-94496-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319944951","9783319944968"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-94496-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"20 June 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ESSoS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Engineering Secure Software and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Paris","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"essos2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/distrinet.cs.kuleuven.be\/events\/essos\/2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}