{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:21:25Z","timestamp":1725553285670},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540344780"},{"type":"electronic","value":"9783540344797"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11760146_37","type":"book-chapter","created":{"date-parts":[[2006,5,9]],"date-time":"2006-05-09T15:29:38Z","timestamp":1147188578000},"page":"420-431","source":"Crossref","is-referenced-by-count":7,"title":["Computational Modeling and Experimental Validation of Aviation Security Procedures"],"prefix":"10.1007","author":[{"given":"Uwe","family":"Gl\u00e4sser","sequence":"first","affiliation":[]},{"given":"Sarah","family":"Rastkar","sequence":"additional","affiliation":[]},{"given":"Mona","family":"Vajihollahi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"37_CR1","unstructured":"International Civil Aviation Organization: Annex 17 to the Convention on International Civil Aviation: Standards and Recommended Practices - Security (2002)"},{"key":"37_CR2","unstructured":"The European Parliament and the Council of the European Union: Regulation (EC) No 2320\/2002 of the European Parliament and of the Council - Establishing Common Rules in the Field of Civil Aviation Security (2002)"},{"key":"37_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: a Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: a Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"37_CR4","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"37_CR5","doi-asserted-by":"crossref","unstructured":"Rutten, J., Kwiatkowska, M., Norman, G., Parker, D.: Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems. In: Panangaden, P., van Breugel, F. (eds.). CRM Monograph Series, vol.\u00a023, American Mathematical Society, Providence (2004)","DOI":"10.1090\/crmm\/023"},{"key":"37_CR6","doi-asserted-by":"crossref","unstructured":"Laleau, R., Vignes, S., Ledru, Y., Lemoine, M., Bert, D., Donzeau-Gouge, V., Dubois, C., Peureux, F.: Application of Requirements Analysis Techniques to the Analysis of Civil Aviation Security Standards. In: Proc. of the First Intl. Workshop on Situational Requirements Engineering Processes (SREP 2005), France (2005)","DOI":"10.1002\/spip.291"},{"key":"37_CR7","unstructured":"Farahbod, R., Gl\u00e4sser, U.: Semantic Blueprints of Discrete Dynamic Systems: Challenges and Needs in Computational Modeling of Complex Behavior. In: Proc. 6th International Heinz Nixdorf Symposium, Heinz Nixdorf Institute (2006)"},{"issue":"7","key":"37_CR8","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1109\/TSE.2004.25","volume":"30","author":"U. Gl\u00e4sser","year":"2004","unstructured":"Gl\u00e4sser, U., Gurevich, Y., Veanes, M.: Abstract Communication Model for Distributed Systems. IEEE Trans. on Soft. Eng.\u00a030(7), 458\u2013472 (2004)","journal-title":"IEEE Trans. on Soft. Eng."},{"issue":"3","key":"37_CR9","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/S1389-1286(03)00247-0","volume":"42","author":"U. Gl\u00e4sser","year":"2003","unstructured":"Gl\u00e4sser, U., Gotzhein, R., Prinz, A.: The Formal Semantics of SDL-2000: Status and Perspectives. Comput. Networks\u00a042(3), 343\u2013358 (2003)","journal-title":"Comput. Networks"},{"key":"37_CR10","doi-asserted-by":"crossref","unstructured":"Brantingham, P.L., Kinney, B., Gl\u00e4sser, U., Singh, K., Vajihollahi, M.: A Computational Model for Simulating Spatial Aspects of Crime in Urban Environments. In: Jamshidi, M. (ed.) Proceedings of 2005 IEEE International Conference on Systems, Man and Cybernetics, pp. 3667\u20133674. IEEE, Los Alamitos (2005)","DOI":"10.1109\/ICSMC.2005.1571717"},{"key":"37_CR11","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E.: The ASM Ground Model Method as a Foundation for Requirements Engineering. In: Verification: Theory and Practice, pp. 145\u2013160 (2003)","DOI":"10.1007\/978-3-540-39910-0_6"},{"key":"37_CR12","doi-asserted-by":"crossref","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A Tool for Automatic Verification of Probabilistic Systems. In: Proc. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (2006)","DOI":"10.1007\/11691372_29"},{"key":"37_CR13","unstructured":"PRISM: (PRISM Web Site), http:\/\/www.cs.bham.ac.uk\/~dxp\/prism"},{"key":"37_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-46419-0_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Castillo Del","year":"2000","unstructured":"Del Castillo, G., Winter, K.: Model checking support for the ASM high-level language. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol.\u00a01785, pp. 331\u2013346. Springer, Heidelberg (2000)"},{"key":"37_CR15","doi-asserted-by":"crossref","unstructured":"Gl\u00e4sser, U., Rastkar, S., Vajihollahi, M.: Computational Modeling and Experimental Validation of Aviation Security Procedures. Technical Report SFU-CMPT-TR-2006-02, Simon Fraser University (2006)","DOI":"10.1007\/11760146_37"}],"container-title":["Lecture Notes in Computer Science","Intelligence and Security Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11760146_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,7]],"date-time":"2023-05-07T11:03:57Z","timestamp":1683457437000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11760146_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540344780","9783540344797"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11760146_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}