{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,24]],"date-time":"2025-04-24T04:13:53Z","timestamp":1745468033546,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642351297"},{"type":"electronic","value":"9783642351303"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35130-3_22","type":"book-chapter","created":{"date-parts":[[2012,12,10]],"date-time":"2012-12-10T07:09:45Z","timestamp":1355123385000},"page":"310-326","source":"Crossref","is-referenced-by-count":0,"title":["Tracking Insecure Information Flows: A Prototype Evaluator in ASF+SDF"],"prefix":"10.1007","author":[{"given":"Doaa","family":"Hassan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","first-page":"673","DOI":"10.3233\/JCS-2008-0335","volume":"16","author":"P. Shroff","year":"2008","unstructured":"Shroff, P., Smith, S., Thober, M.: Securing information Flow via Dynamic Capture of Dependencies. Journal of Computer Security\u00a016, 673\u2013688 (2008)","journal-title":"Journal of Computer Security"},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1145\/363516.363526","volume":"9","author":"A.C. Myers","year":"2000","unstructured":"Myers, A.C., Liskov, B.: Protecting Privacy Using the Decentralized Label Model. ACM TOSEM\u00a09, 410\u2013442 (2000)","journal-title":"ACM TOSEM"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Hassan, D., Mousavi, M., Reniers, M.: Restricted Delegation and Revocation in Language-Based Security (Position Paper). In: Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2010, Toronto, Canada. ACM Press (June 2010)","DOI":"10.1145\/1814217.1814222"},{"key":"22_CR4","unstructured":"Hassan, D., Mousavi, M.: RDR: A Language for Restricted Delegation and Revocation. Technical report, Department of Computer Science, Eindhoven University of Technology (2011), http:\/\/www.win.tue.nl\/~mousavi\/rdr-tech-rep.pdf"},{"key":"22_CR5","unstructured":"van den Brand, M.G.J., Klint, P.: Asf+sdf Meta-Environment User Manual - Revision 1.134. Technical report, CWI Centrum voor Wiskunde en Informatica, Amsterdam (2003), www.cwi.nl\/projects\/MetaEnv\/meta"},{"issue":"5","key":"22_CR6","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1145\/360051.360056","volume":"19","author":"D.E. Denning","year":"1976","unstructured":"Denning, D.E.: A Lattice Model of Secure Information Flow. Journal of Commun. ACM\u00a019(5), 236\u2013243 (1976)","journal-title":"Journal of Commun. ACM"},{"key":"22_CR7","unstructured":"Deursen, A.V., Heering, J., Klint, P.: Language Prototyping: An Algebraic Specification Approach. AMAST Series in Computing, vol.\u00a0V. World Scientific (1996)"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/3-540-45306-7_26","volume-title":"Compiler Construction","author":"M.G.J. Brand van den","year":"2001","unstructured":"van den Brand, M.G.J., van Deursen, A., Heering, J., de Jong, H.A., de Jonge, M., Kuipers, T., Klint, P., Moonen, L., Olivier, P.A., Scheerder, J., Vinju, J.J., Visser, E., Visser, J.: The ASF+SDF Meta-environment: A Component-Based Language Development Environment. In: Wilhelm, R. (ed.) CC 2001. LNCS, vol.\u00a02027, pp. 365\u2013370. Springer, Heidelberg (2001)"},{"key":"22_CR9","unstructured":"van den Brand, M.G.J., Klint, P., Vinju, J.J.: The Language Specification Formalism ASF+SDF (2008)"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Heering, J., Hendriks, P., Klint, P., Rekers, J.: The Syntax Definition Formalism SDF - Reference Manual (1989)","DOI":"10.1145\/71605.71607"},{"key":"22_CR11","unstructured":"Chong, S., Myers, A.C., Vikram, K., Zheng, L.: Jif Reference Manual (2006)"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Myers, A.C.: JFlow: Practical Mostly-Static information Flow Control. In: Proceeding of POPL 1999, pp. 228\u2013241. ACM (1999)","DOI":"10.1145\/292540.292561"},{"issue":"3","key":"22_CR13","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/S1571-0661(04)80423-7","volume":"6","author":"P. Mosses","year":"2002","unstructured":"Mosses, P.: Action Semantics and ASF+SDF. Electronic Notes in Theoretical Computer Science\u00a06(3), 2\u20138 (2002)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"22_CR14","unstructured":"Venske, S.M., Musicante, M.A.: Typechecking XQuery: A Prototype in ASF+SDF. Revista Ci\u011bncias Exatas e Naturais\u00a08(2) (July\/December 2006)"},{"issue":"4","key":"22_CR15","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1017\/S0956796804005398","volume":"15","author":"N. Benton","year":"2005","unstructured":"Benton, N.: Embedded Interpreters. Journal of Functional Programming\u00a015(4), 503\u2013542 (2005)","journal-title":"Journal of Functional Programming"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Haldar, V., Chandra, D., Franz, M.: Dynamic Taint Propagation for Java. In: Proceedings of the 21st Annual Computer Security Applications Conference, ACSAC 2005, pp. 303\u2013311. IEEE (2005)","DOI":"10.1109\/CSAC.2005.21"},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s10207-007-0019-9","volume":"6","author":"L. Zheng","year":"2007","unstructured":"Zheng, L., Myers, A.C.: Dynamic Security Labels and Static Information Flow Control. Int. J. Inf. Secur.\u00a06, 67\u201384 (2007)","journal-title":"Int. J. Inf. Secur."},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"van den Brand, M.G.J., Jong, H.A., Klint, P., Kooiker, A.T.: A language development environment for Eclipse. In: OOPSLA Workshop on Eclipse Technology eXchange (2003)","DOI":"10.1145\/965660.965672"},{"key":"22_CR19","unstructured":"Eclipse Platform technical overview. Object Technology International, Inc. (2003)"},{"key":"22_CR20","unstructured":"Hurst, A.: Analysis of Perl\u2019s taint mode (June 2004), http:\/\/hurstdog.org\/papers\/hurst04taint.pdf"},{"key":"22_CR21","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall (2001)"}],"container-title":["Lecture Notes in Computer Science","Information Systems Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35130-3_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T12:56:31Z","timestamp":1745412991000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35130-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642351297","9783642351303"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35130-3_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}