{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,20]],"date-time":"2025-05-20T04:40:02Z","timestamp":1747716002462,"version":"3.40.5"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319156170"},{"type":"electronic","value":"9783319156187"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15618-7_3","type":"book-chapter","created":{"date-parts":[[2015,2,27]],"date-time":"2015-02-27T01:10:31Z","timestamp":1424999431000},"page":"34-42","source":"Crossref","is-referenced-by-count":3,"title":["Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs"],"prefix":"10.1007","author":[{"given":"Mart\u00edn","family":"Ochoa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Cu\u00e9llar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Pretschner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Per","family":"Hallgren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Barthe, G., D\u2019Argenio, P.R., Rezk, T.: Secure information flow by self-composition. In: CSF 2004, pp. 100\u2013114. IEEE (2004)","key":"3_CR1","DOI":"10.1109\/CSFW.2004.1310735"},{"doi-asserted-by":"crossref","unstructured":"Bohannon, A., Pierce, B.C., Sj\u00f6berg, V., Weirich, S., Zdancewic, S.: Reactive noninterference. In: CCS 2009, pp. 79\u201390. ACM (2009)","key":"3_CR2","DOI":"10.1145\/1653662.1653673"},{"doi-asserted-by":"crossref","unstructured":"Buchler, M., Oudinet, J., Pretschner, A.: Spacite\u2013web application testing engine. In: ICST 2012, pp. 858\u2013859. IEEE (2012)","key":"3_CR3","DOI":"10.1109\/ICST.2012.187"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-642-54792-8_15","volume-title":"Principles of Security and Trust","author":"M.R. Clarkson","year":"2014","unstructured":"Clarkson, M.R., Finkbeiner, B., Koleini, M., Micinski, K.K., Rabe, M.N., S\u00e1nchez, C.: Temporal logics for hyperproperties. In: Abadi, M., Kremer, S. (eds.) POST 2014 (ETAPS 2014). LNCS, vol.\u00a08414, pp. 265\u2013284. Springer, Heidelberg (2014)"},{"issue":"9","key":"3_CR5","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1109\/32.629493","volume":"23","author":"R. Focardi","year":"1997","unstructured":"Focardi, R., Gorrieri, R.: The compositional security checker: A tool for the verification of information flow security properties. IEEE Transactions on Software Engineering\u00a023(9), 550\u2013571 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: IEEE Symposium on Security and Privacy, pp. 11\u201320 (1982)","key":"3_CR6","DOI":"10.1109\/SP.1982.10014"},{"doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Unwinding and inference control. In: IEEE Symposium on Security and Privacy (1984)","key":"3_CR7","DOI":"10.1109\/SP.1984.10019"},{"doi-asserted-by":"crossref","unstructured":"Hritcu, C., Hughes, J., Pierce, B.C., Spector-Zabusky, A., Vytiniotis, D., de Amorim, A.A., Lampropoulos, L.: Testing noninterference, quickly. In: ICFP (2013)","key":"3_CR8","DOI":"10.1145\/2500365.2500574"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-30561-0_16","volume-title":"Objects, Models, Components, Patterns","author":"M. Ochoa","year":"2012","unstructured":"Ochoa, M., J\u00fcrjens, J., Cu\u00e9llar, J.: Non-interference on UML State-charts. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol.\u00a07304, pp. 219\u2013235. Springer, Heidelberg (2012)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/3-540-46852-8_30","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"J. Offutt","year":"1999","unstructured":"Offutt, J., Abdurazik, A.: Generating tests from UML specifications. In: France, R.B. (ed.) UML 1999. LNCS, vol.\u00a01723, pp. 416\u2013429. Springer, Heidelberg (1999)"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-642-41533-3_6","volume-title":"Model-Driven Engineering Languages and Systems","author":"A. Pretschner","year":"2013","unstructured":"Pretschner, A., Holling, D., Eschbach, R., Gemmar, M.: A generic fault model for quality assurance. In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol.\u00a08107, pp. 87\u2013103. Springer, Heidelberg (2013)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/3-540-58618-0_55","volume-title":"Computer Security - ESORICS 94","author":"A. Roscoe","year":"1994","unstructured":"Roscoe, A., Woodcock, J., Wulf, L.: Non-interference through determinism. In: Gollmann, D. (ed.) ESORICS 1994. LNCS, vol.\u00a0875, pp. 31\u201353. Springer, Heidelberg (1994)"},{"issue":"1","key":"3_CR13","doi-asserted-by":"crossref","first-page":"75","DOI":"10.3233\/JCS-2001-91-204","volume":"9","author":"P.Y. Ryan","year":"2001","unstructured":"Ryan, P.Y., Schneider, S.A.: Process algebra and non-interference. Journal of Computer Security\u00a09(1), 75\u2013103 (2001)","journal-title":"Journal of Computer Security"},{"issue":"5","key":"3_CR14","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M. Utting","year":"2012","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test., Verif. Reliab.\u00a022(5), 297\u2013312 (2012)","journal-title":"Softw. Test., Verif. Reliab."}],"container-title":["Lecture Notes in Computer Science","Engineering Secure Software and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15618-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,20]],"date-time":"2025-05-20T04:06:48Z","timestamp":1747714008000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-15618-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319156170","9783319156187"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15618-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}