{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:21:37Z","timestamp":1725560497433},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213055"},{"type":"electronic","value":"9783540247210"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24721-0_6","type":"book-chapter","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T20:15:12Z","timestamp":1280261712000},"page":"84-98","source":"Crossref","is-referenced-by-count":13,"title":["Checking Absence of Illicit Applet Interactions: A\u00a0Case\u00a0Study"],"prefix":"10.1007","author":[{"given":"Marieke","family":"Huisman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dilian","family":"Gurov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Sprenger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gennady","family":"Chugunov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/3-540-45923-5_2","volume-title":"Fundamental Approaches to Software Engineering","author":"G. Barthe","year":"2002","unstructured":"Barthe, G., Gurov, D., Huisman, M.: Compositional verification of secure applet interactions. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 15\u201332. Springer, Heidelberg (2002)"},{"issue":"3","key":"6_CR2","doi-asserted-by":"crossref","first-page":"217","DOI":"10.3233\/JCS-2001-9303","volume":"9","author":"F. Besson","year":"2001","unstructured":"Besson, F., Jensen, T., Le M\u00e9tayer, D., Thorn, T.: Model checking security properties of control flow graphs. J. of Computer Security\u00a09(3), 217\u2013250 (2001)","journal-title":"J. of Computer Security"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Bouajjani, A., Fernandez, J.C., Graf, S., Rodriguez, C., Sifakis, J.: Safety for branching time semantics. In: Automata, Languages and Programming, pp. 76\u201392 (1991)","DOI":"10.1007\/3-540-54233-7_126"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Bouajjani, A., Esparza, J., Maler, O.: Reachability analysis of pushdown automata: Application to model-checking. In: International Conference on Concurrency Theory, pp. 135\u2013150 (1997)","DOI":"10.1007\/3-540-63141-0_10"},{"key":"6_CR5","unstructured":"Brat, G., Havelund, K., Park, S., Visser, W.: Java PathFinder - second generation of a Java model checker. In: Workshop on Advances in Verification (2000)"},{"key":"6_CR6","unstructured":"Bretagne, E., El Marouani, A., Girard, P., Lanet, J.-L.: Pacap purse and loyalty specification. Technical Report V 0.4, Gemplus (2000)"},{"key":"6_CR7","first-page":"545","volume-title":"Handbook of Process Algebra","author":"O. Burkart","year":"2000","unstructured":"Burkart, O., Caucal, D., Moller, F., Steffen, B.: Verification on infinite structures. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, pp. 545\u2013623. North Holland, Amsterdam (2000)"},{"key":"6_CR8","unstructured":"Chugunov, G., Fredlund, L.-\u00e5., Gurov, D.: Model checking of multi-applet Java-Card applications. In: CARDIS 2002, pp. 87\u201395. USENIX Publications (2002)"},{"key":"6_CR9","unstructured":"Cleaveland, R., Parrow, J., Steffen, B.: A semantics based verification tool for finite state systems. In: Proc. 9th IFIP Symp. Protocol Specification, Verification and Testing (1989)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10722468_13","volume-title":"SPIN Model Checking and Software Verification","author":"J. Corbett","year":"2000","unstructured":"Corbett, J., Dwyer, M., Hatcliff, J., Robby: A language framework for expressing checkable properties of dynamic software. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, Springer, Heidelberg (2000)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., Dwyer, M.: Using the Bandera tool set to model-check properties of concurrent Java software. Technical report, SAnToS Laboratory, Department of Computing and Information Sciences, Kansas State University (2000)","DOI":"10.1007\/3-540-44685-0_5"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional \u03bc-calculus. TCS\u00a027, 333\u2013354 (1983)","journal-title":"TCS"},{"key":"6_CR13","unstructured":"Polansk\u00fd, D.: Verifying properties of infinite-state systems. Master\u2019s thesis, Masaryk University, Faculty of Informatics, Brno (2000)"},{"key":"6_CR14","unstructured":"Sprenger, C., Gurov, D., Huisman, M.: Simulation logic, applets and compositional verification. Technical Report RR-4890, INRIA (2003)"},{"key":"6_CR15","unstructured":"Vall\u00e9e-Rai, R., Hendren, L., Sundaresan, V., Lam, P., Gagnon, E., Co, P.: Soot - a Java Optimization Framework. In: CASCON 1999, pp. 125\u2013135 (1999)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24721-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T15:30:49Z","timestamp":1559316649000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24721-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213055","9783540247210"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24721-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}