{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T22:10:25Z","timestamp":1743199825851,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642305603"},{"type":"electronic","value":"9783642305610"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30561-0_16","type":"book-chapter","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T22:31:43Z","timestamp":1337985103000},"page":"219-235","source":"Crossref","is-referenced-by-count":4,"title":["Non-interference on UML State-Charts"],"prefix":"10.1007","author":[{"given":"Mart\u00edn","family":"Ochoa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"J\u00fcrjens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Cu\u00e9llar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Jif: Java + Information Flow, http:\/\/www.cs.cornell.edu\/jif\/"},{"key":"16_CR2","unstructured":"STAN: Information flow analysis for small embedded systems, http:\/\/stan-project.gforge.inria.fr\/"},{"key":"16_CR3","unstructured":"The Haskell Programming Language, http:\/\/www.haskell.org\/"},{"key":"16_CR4","unstructured":"The European Parliament and Council. Measuring instruments directive (2004\/22\/ec). Official Journal of the EU (2004)"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Alghathbar, K., Farkas, C., Wijesekera, D.: Securing UML information flow using flowUML. Journal of Research and Practice in Information Technology, pp. 229\u2013238. INSTICC Press (2006)","DOI":"10.5220\/0002569802290238"},{"key":"16_CR6","unstructured":"Anderson, R.J.: Security engineering - a guide to building dependable distributed systems, 2nd edn. Wiley (2008)"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-540-71316-6_10","volume-title":"Programming Languages and Systems","author":"G. Barthe","year":"2007","unstructured":"Barthe, G., Pichardie, D., Rezk, T.: A Certified Lightweight Non-interference Java Bytecode Verifier. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 125\u2013140. Springer, Heidelberg (2007)"},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"1758","DOI":"10.1093\/comjnl\/bxq005","volume":"53","author":"M. Broy","year":"2010","unstructured":"Broy, M.: A logical basis for component-oriented software and systems engineering. Comput. J.\u00a053, 1758\u20131782 (2010)","journal-title":"Comput. J."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Das, D., Kreikebaum, F., Divan, D., Lambert, F.: Reducing transmission investment to meet renewable portfolio standards using smart wires. In: 2010 IEEE PES Transmission and Distribution Conference and Exposition: Smart Solutions for a Changing World (2010)","DOI":"10.1109\/TDC.2010.5484217"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Ghindici, D., Grimaud, G., Simplot-Ryl, I.: Embedding verifiable information flow analysis. In: Proc. Annual Conference on Privacy, Security and Trust, Toronto, Canada, pp. 343\u2013352 (November 2006)","DOI":"10.1145\/1501434.1501481"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Giffhorn, D., Hammer, C.: Precise Analysis of Java Programs using JOANA (Tool Demonstration). In: 8th IEEE International Working Conference on Source Code Analysis and Manipulation, pp. 267\u2013268 (September 2008)","DOI":"10.1109\/SCAM.2008.17"},{"key":"16_CR12","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)","DOI":"10.1109\/SP.1982.10014"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Unwinding and inference control. In: IEEE Symposium on Security and Privacy (1984)","DOI":"10.1109\/SP.1984.10019"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Hammer, C.: Information flow control for Java based on path conditions in dependence graphs. In: IEEE International Symposium on Secure Software Engineering (2006)","DOI":"10.1145\/1111542.1111552"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems (1987)","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"16_CR16","unstructured":"International Electrotechnical Commission (IEC). IEC 62351 Parts 1-8, Information Security for Power System Control Operations"},{"key":"16_CR17","unstructured":"J\u00fcrjens, J.: Secure Systems Development with UML. Springer (2005)"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Mantel, H.: On the composition of secure systems. In: Proceedings of IEEE Symposium on Security and Privacy, pp. 88\u2013101 (2002)","DOI":"10.1109\/SECPRI.2002.1004364"},{"key":"16_CR19","unstructured":"Mantel, H.: A Uniform Framework for the Formal Specification and Verification of Information Flow Security. PhD thesis, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, Germany (2003)"},{"issue":"5","key":"16_CR20","doi-asserted-by":"crossref","first-page":"1045","DOI":"10.1002\/j.1538-7305.1955.tb03788.x","volume":"34","author":"G.H. Mealy","year":"1955","unstructured":"Mealy, G.H.: A method for synthesizing sequential circuits. Bell System Technical Journal\u00a034(5), 1045\u20131079 (1955)","journal-title":"Bell System Technical Journal"},{"key":"16_CR21","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1982","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer-Verlag New York, Inc., Secaucus (1982)"},{"key":"16_CR22","unstructured":"National Energy Technology Laboratory. A vision for the smart grid. Report (June 2009), http:\/\/www.netl.doe.gov\/moderngrid\/"},{"key":"16_CR23","unstructured":"Network of Excellence on Engineering Secure Future Internet Software Services and Systems (Nessos). Deliverable 11.2 (2011)"},{"key":"16_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-540-30108-0_14","volume-title":"Computer Security \u2013 ESORICS 2004","author":"D. Oheimb von","year":"2004","unstructured":"von Oheimb, D.: Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage. In: Samarati, P., Ryan, P.Y.A., Gollmann, D., Molva, R. (eds.) ESORICS 2004. LNCS, vol.\u00a03193, pp. 225\u2013243. Springer, Heidelberg (2004)"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"Potter, C.W., Archambault, A., Westrick, K.: Building a smarter smart grid through better renewable energy information. In: 2009 IEEE\/PES Power Systems Conference and Exposition, PSCE 2009 (2009)","DOI":"10.1109\/PSCE.2009.4840110"},{"key":"16_CR26","unstructured":"Rushby, J.: Noninterference, transitivity and channel-control security policies. Technical report (1992)"},{"issue":"5","key":"16_CR27","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MSP.2010.937501","volume":"27","author":"R. Schneiderman","year":"2010","unstructured":"Schneiderman, R.: Smart grid represents a potentially huge market for the electronics industry. IEEE Signal Processing Magazine\u00a027(5), 8\u201315 (2010)","journal-title":"IEEE Signal Processing Magazine"},{"key":"16_CR28","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/s00165-006-0003-6","volume":"18","author":"J. Tenzer","year":"2006","unstructured":"Tenzer, J., Stevens, P.: On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams. Form. Asp. Comput.\u00a018, 397\u2013420 (2006)","journal-title":"Form. Asp. Comput."},{"key":"16_CR29","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/JCS-1996-42-304","volume":"4","author":"D. Volpano","year":"1996","unstructured":"Volpano, D., Irvine, C., Smith, G.: A sound type system for secure flow analysis. J. Comput. Secur.\u00a04, 167\u2013187 (1996)","journal-title":"J. Comput. Secur."}],"container-title":["Lecture Notes in Computer Science","Objects, Models, Components, Patterns"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30561-0_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T21:42:48Z","timestamp":1743198168000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30561-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642305603","9783642305610"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30561-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}